[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 cache-contracts
Status:
Proved!
Axioms: 1, User Theorems: 16 (Proved: 16, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 1956, Interactions: 258
at-icache-overwrite-other(11,3)
fsync-dirs(149,5)
fsync-inode-others-unchanged(116,8)
fsync-pages-err(82,4)
trunc-def(0,0)
at-overwrite-content-cut(2,0)
fsync-err(50,7)
fsync-inode-overwrite(126,9)
fsync-pages-keep-abs(586,102)
at-overwrite-content-old-cut(2,0)
fsync-inode-err(86,1)
fsync-keep-abs(30,5)
fsync-pages-others-unchanged(139,22)
at-pcache-overwrite-other(19,5)
fsync-inode-keep-abs(137,15)
fsync-others-unchanged(191,34)
fsync-pages-overwrite(230,38)