[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-refine
Status:
unproved.
Axioms: 0, User Theorems: 28 (Proved: 27, Partially proved: 1, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 9554, Interactions: 277
initialization(68,2)
refine-fsync(43,11)
refine-mkdir(239,4)
refine-rename-dir-negdentry(469,2)
refine-truncate(41,13)
refine-write_inode(392,15)
recovery(73,14)
refine-fsyncdir(17,4)
refine-readdir(44,3)
refine-rename-file-dentry(804,15)
refine-truncate-buff-none-cached(1285,20)
refine-writepage(83,6)
refine-check-commit(24,6)
refine-iget(152,6)
refine-readpage(438,29)
refine-rename-file-negdentry(408,7)
refine-truncate-buff-none-uncached(1255,20)
synced(2,0)
refine-create(233,5)
refine-link(318,13)
refine-renam(127,15)
refine-rmdir(333,2)
refine-truncate-buff-some(1117,18)
refine-evict(396,27)
refine-lookup(114,7)
refine-rename-dir-dentry(780,2)
refine-sync(19,4)
refine-unlink(280,7)