[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 gjournal-refine
Status:
Proved!
Axioms: 0, User Theorems: 25 (Proved: 25, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 1556, Interactions: 170
initialization(46,3)
refine-add2(54,10)
refine-commit(117,9)
refine-lookup(105,4)
refine-remove(52,4)
prepost-remove-nonend-blocks(60,11)
refine-add3(58,11)
refine-contains(35,2)
refine-newino(15,2)
refine-store(19,2)
prepost-restore-log(25,7)
refine-add4(62,12)
refine-entries(35,2)
refine-orphans-contains(11,0)
refine-sync(33,2)
recovery(84,7)
refine-add5(66,13)
refine-gc(469,52)
refine-orphans-insert(10,0)
refine-truncate(21,2)
refine-add1(49,8)
refine-check-commit(70,5)
refine-get(49,2)
refine-orphans-remove(9,0)
synced(2,0)