[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 maplet
Status:
Proved!
Axioms: 6, User Theorems: 36 (Proved: 36, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 252, Interactions: 104
at-eq(3,1)
ex1-shiftw-inst(8,3)
ex3-shift(10,4)
map-null(2,1)
mapex(0,0)
mapex-new-rw(7,2)
mapornull(0,0)
at-rw(3,1)
ex2(0,0)
ex3-shiftw(14,7)
map-put(2,1)
mapex-and(5,1)
mapex-null(4,2)
mapornull-emp(2,0)
eq-objs(5,2)
ex2-shift(10,5)
ex3-shiftw-inst(8,3)
map-put-rw(5,1)
mapex-del(3,1)
mapex-put(7,2)
mapornull-ex(2,0)
ex1(0,0)
ex2-shiftw(14,7)
map-del(8,4)
map-putex(17,8)
mapex-elim(3,0)
mapex-put-rw(5,1)
precise-map(2,1)
ex1-shift(10,4)
ex2-shiftw-inst(8,3)
map-in(3,1)
map-same(5,2)
mapex-in(2,0)
maplet(0,0)
precise-mapex(8,4)
ex1-shiftw(14,7)
ex3(0,0)
map-in0(2,0)
map-write(7,2)
mapex-new(32,18)
maplet-singleton-heap(2,0)
precise-mapornull(10,5)