[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 compatible
Status:
unproved.
Axioms: 17, User Theorems: (Proved: 18, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 645, Interactions: 259
acyclic-ref-def(0,0)
compat-throw-02(20,9)
compatfields-mode(24,9)
compatval-noref(2,1)
modeval-compat(0,0)
params-compat(0,0)
array-compat(0,0)
compatarray-abstract(8,3)
compatobj-isobj(24,8)
compatval-put(18,6)
obj-compat(0,0)
refs-compat(0,0)
compat-addclass(127,59)
compatarray-isarray(18,6)
compatobj-mode(8,3)
cyclic-ref-def(0,0)
okpath-empty(0,0)
static-compat(0,0)
compat-addobj(145,61)
compatarray-isarray-01(14,4)
compatrefs-mode(13,5)
decl(0,0)
okpath-notin(0,0)
store-compat(0,0)
compat-newref(2,1)
compatarray-mode(28,11)
compatstatic-mode(61,21)
fields-compat(0,0)
okpath-rec(0,0)
value-compat(0,0)
compat-put(105,43)
compatarray-void(14,4)
compatval-addclass(14,5)
mode-compat(0,0)
okpath-rec-array(0,0)