[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: 19 (Proved: 19, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 36, Interactions: 9
class(0,0)
efail(1,1)
enomem(1,1)
esuccess(2,0)
fail-prepost(4,0)
eaccess(2,0)
einval(1,1)
enospc(1,1)
euclean(1,1)
not-esuccess(2,0)
ebadfd(2,0)
eio(1,1)
enotdir(2,0)
fail(0,0)
ecommit(1,1)
eisdir(2,0)
enotempty(2,1)
fail-or-success(0,0)
eexists(2,0)
enoent(2,0)
erofs(1,1)
fail-or-success-prepost(6,0)