[Imprint]
[Data Privacy Statement]
[E-Mail]
Back to
main index
. View
the specification
. View
theorem base summary
, View
theorem base listing
, the
used properties by spec
, the
dependency list
, the
symbol table
,
Theorem base summary for Specification error-class
Status:
Proved!
Axioms: 3, User Theorems: 16 (Proved: 16, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 23, Interactions: 6
class(0,0)
eexists(1,0)
eisdir(1,0)
enotempty(1,1)
fail-or-success-prepost(5,0)
eaccess(1,0)
efail(1,1)
enoent(1,0)
esuccess(1,0)
fail-prepost(4,0)
ebadfd(1,0)
einval(1,1)
enospc(1,1)
fail(0,0)
not-esuccess(1,0)
ecommit(1,1)
eio(1,1)
enotdir(1,0)
fail-or-success(0,0)