[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 ubi-quality-base
Status:
Proved!
Axioms: 7, User Theorems: 14 (Proved: 14, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 317, Interactions: 52
bag-rem-eq-empty-elim(1,0)
ecs(0,0)
ecs-n-write(37,8)
in-ecs-n(19,9)
threshold-ge-erase-retries(0,0)
delta-01(0,0)
ecs-empty(2,2)
ecs-write(10,4)
sum-of-differences-base(0,0)
delta-atomic-leb-change(183,8)
ecs-n-base(0,0)
ecs-write-same(2,1)
sum-of-differences-in(7,3)
delta-write(23,7)
ecs-n-empty(3,1)
in-delta(4,2)
sum-of-differences-rec(0,0)
delta-write-same(9,1)
ecs-n-rec(0,0)
in-ecs(6,3)
sum-of-differences-rem(11,3)