[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: 228, Interactions: 101
at-eq(3,1)
ex1-shiftw-inst(7,3)
ex3-shift(10,4)
map-null(1,1)
mapex(0,0)
mapex-new-rw(3,1)
mapornull(0,0)
at-rw(3,1)
ex2(0,0)
ex3-shiftw(14,7)
map-put(1,1)
mapex-and(4,1)
mapex-null(2,1)
mapornull-emp(1,0)
eq-objs(5,2)
ex2-shift(10,5)
ex3-shiftw-inst(7,3)
map-put-rw(5,1)
mapex-del(3,1)
mapex-put(4,1)
mapornull-ex(2,0)
ex1(0,0)
ex2-shiftw(14,7)
map-del(7,4)
map-putex(16,8)
mapex-elim(3,0)
mapex-put-rw(5,1)
precise-map(1,1)
ex1-shift(10,4)
ex2-shiftw-inst(7,3)
map-in(3,1)
map-same(3,2)
mapex-in(2,0)
maplet(0,0)
precise-mapex(7,4)
ex1-shiftw(14,7)
ex3(0,0)
map-in0(2,0)
map-write(7,2)
mapex-new(32,18)
maplet-singleton-heap(1,0)
precise-mapornull(9,5)