[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-base
Status:
Proved!
Axioms: 21, User Theorems: 16 (Proved: 16, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 1384, Interactions: 354
at-icache-overwrite(0,0)
at-pcache-overwrite(0,0)
in-mkcontent(0,0)
overwrite-write-inode-clean-file(31,4)
synced-dirs(0,0)
synced-files-add-new-clean-inode(33,10)
synced-pages(0,0)
at-icache-overwrite-no-file(0,0)
dcache-cons(0,0)
in-overwrite-content(0,0)
overwrite-write-inode-dirty(28,5)
synced-dirs-add-new-clean-inode(32,9)
synced-files-empty(1,0)
at-icache-overwrite-not-cached(0,0)
icache-cons(0,0)
in-pcache-overwrite(0,0)
overwrite-write-page-clean(871,190)
synced-dirs-add-update-clean-inode(27,8)
synced-files-update-clean-inode(27,8)
at-mkcontent(0,0)
ientry-clean-cons(0,0)
overwrite-icache-empty(3,2)
overwrite-write-page-dirty(208,77)
synced-dirs-empty(1,0)
synced-files-variant1(28,10)
at-overwrite-content-new(0,0)
ientry-dirty-cons(0,0)
overwrite-pcache-empty(9,4)
pcache-cons(0,0)
synced-dirs-variant1(29,12)
synced-ino(0,0)
at-overwrite-content-old(0,0)
in-icache-overwrite(0,0)
overwrite-write-inode-clean-dir(33,5)
pcache-overwrite-read-page(23,10)
synced-files(0,0)
synced-inode(0,0)