[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 mtd-asm
Status:
Proved!
Axioms: 9, User Theorems: 19 (Proved: 19, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 260, Interactions: 22
blockcount(0,0)
crash-neutral-page-size(4,0)
init(0,0)
inv-isbad(12,0)
inv-write(55,9)
read(0,0)
crash-neutral-blockcount(4,0)
crash-neutral-peb-size(4,0)
inv-blockcount(3,0)
inv-markbad(19,0)
isbad(0,0)
reduce-mtd-cons(17,3)
crash-neutral-erase(16,1)
crash-neutral-read(22,2)
inv-crash(1,0)
inv-page-size(2,0)
markbad(0,0)
write(0,0)
crash-neutral-isbad(13,1)
crash-neutral-write(20,2)
inv-erase(19,0)
inv-peb-size(2,0)
page-size(0,0)
crash-neutral-markbad(16,1)
erase(0,0)
inv-init(11,2)
inv-read(20,1)
peb-size(0,0)