[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 valid-peb
Status:
Proved!
Axioms: 2, User Theorems: 18 (Proved: 18, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 86, Interactions: 19
not-valid-peb2-explicit-0(10,0)
valid-peb-leb(2,0)
valid-peb-vidhdr-garbage(2,0)
valid-peb0-imp-valid-peb(7,1)
valid-peb0-vidhdr-empty(2,0)
subarray-add-eq-mkempbuf(7,2)
valid-peb-unique(2,0)
valid-peb-vol(2,0)
valid-peb0-invalid-ehdr(2,0)
valid-peb0-vidhdr-garbage(2,0)
valid-peb-bad(2,0)
valid-peb-valid-vidhdr(2,0)
valid-peb0(0,0)
valid-peb0-invalid-vhdr(2,0)
valid-peb0-write-append(32,16)
valid-peb-imp-valid-peb0(5,0)
valid-peb-vidhdr-empty(2,0)
valid-peb0-bad(1,0)
valid-peb0-valid-vidhdr(2,0)
valid-peb2(0,0)