[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 posix-event
- Status: Proved!
- Axioms: 183,
User Theorems: 0
(Proved: 0,
Partially proved: 0,
Unproved: 0,
Invalid: 0,
Siginvalid: 0)
- Proof steps: 0,
Interactions: 0
| case(0,0) | disj-113(0,0) | disj-130(0,0) | disj-148(0,0) | disj-166(0,0) | disj-185(0,0) | disj-204(0,0) | inj-27(0,0) | sel-47(0,0) | sel-66(0,0) |
| disj-01(0,0) | disj-114(0,0) | disj-131(0,0) | disj-149(0,0) | disj-167(0,0) | disj-186(0,0) | disj-205(0,0) | inj-28(0,0) | sel-48(0,0) | sel-67(0,0) |
| disj-02(0,0) | disj-115(0,0) | disj-132(0,0) | disj-15(0,0) | disj-168(0,0) | disj-187(0,0) | disj-206(0,0) | inj-29(0,0) | sel-49(0,0) | sel-68(0,0) |
| disj-03(0,0) | disj-116(0,0) | disj-133(0,0) | disj-150(0,0) | disj-169(0,0) | disj-188(0,0) | disj-207(0,0) | inj-30(0,0) | sel-50(0,0) | sel-69(0,0) |
| disj-04(0,0) | disj-117(0,0) | disj-134(0,0) | disj-151(0,0) | disj-170(0,0) | disj-189(0,0) | disj-208(0,0) | sel-32(0,0) | sel-51(0,0) | sel-70(0,0) |
| disj-05(0,0) | disj-118(0,0) | disj-135(0,0) | disj-152(0,0) | disj-171(0,0) | disj-190(0,0) | disj-209(0,0) | sel-33(0,0) | sel-52(0,0) | sel-71(0,0) |
| disj-06(0,0) | disj-119(0,0) | disj-136(0,0) | disj-153(0,0) | disj-172(0,0) | disj-191(0,0) | disj-210(0,0) | sel-34(0,0) | sel-53(0,0) | sel-72(0,0) |
| disj-07(0,0) | disj-12(0,0) | disj-137(0,0) | disj-154(0,0) | disj-173(0,0) | disj-192(0,0) | gen(0,0) | sel-35(0,0) | sel-54(0,0) | sel-73(0,0) |
| disj-08(0,0) | disj-120(0,0) | disj-138(0,0) | disj-155(0,0) | disj-174(0,0) | disj-193(0,0) | inj-16(0,0) | sel-36(0,0) | sel-55(0,0) | sel-74(0,0) |
| disj-09(0,0) | disj-121(0,0) | disj-139(0,0) | disj-156(0,0) | disj-175(0,0) | disj-194(0,0) | inj-17(0,0) | sel-37(0,0) | sel-56(0,0) | sel-75(0,0) |
| disj-10(0,0) | disj-122(0,0) | disj-14(0,0) | disj-157(0,0) | disj-176(0,0) | disj-195(0,0) | inj-18(0,0) | sel-38(0,0) | sel-57(0,0) | sel-76(0,0) |
| disj-106(0,0) | disj-123(0,0) | disj-140(0,0) | disj-158(0,0) | disj-177(0,0) | disj-196(0,0) | inj-19(0,0) | sel-39(0,0) | sel-58(0,0) | sel-77(0,0) |
| disj-107(0,0) | disj-124(0,0) | disj-141(0,0) | disj-159(0,0) | disj-178(0,0) | disj-197(0,0) | inj-20(0,0) | sel-40(0,0) | sel-59(0,0) |
| disj-108(0,0) | disj-125(0,0) | disj-142(0,0) | disj-160(0,0) | disj-179(0,0) | disj-198(0,0) | inj-21(0,0) | sel-41(0,0) | sel-60(0,0) |
| disj-109(0,0) | disj-126(0,0) | disj-143(0,0) | disj-161(0,0) | disj-180(0,0) | disj-199(0,0) | inj-22(0,0) | sel-42(0,0) | sel-61(0,0) |
| disj-11(0,0) | disj-127(0,0) | disj-144(0,0) | disj-162(0,0) | disj-181(0,0) | disj-200(0,0) | inj-23(0,0) | sel-43(0,0) | sel-62(0,0) |
| disj-110(0,0) | disj-128(0,0) | disj-145(0,0) | disj-163(0,0) | disj-182(0,0) | disj-201(0,0) | inj-24(0,0) | sel-44(0,0) | sel-63(0,0) |
| disj-111(0,0) | disj-129(0,0) | disj-146(0,0) | disj-164(0,0) | disj-183(0,0) | disj-202(0,0) | inj-25(0,0) | sel-45(0,0) | sel-64(0,0) |
| disj-112(0,0) | disj-13(0,0) | disj-147(0,0) | disj-165(0,0) | disj-184(0,0) | disj-203(0,0) | inj-26(0,0) | sel-46(0,0) | sel-65(0,0) |