[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 ASM
Status:
Proved!
Axioms: 29, User Theorems: (Proved: 0, Partially proved: 0, Unproved: 0, Invalid: 0, Siginvalid: 0)
Proof steps: 0, Interactions: 0
Abort8-UserCmd(0,0)
BookSelected-TravelPlannerCmd(0,0)
EXEC(0,0)
GetInputRequestData-UserCmd-1(0,0)
PayCommission-TravelAgencyCmd(0,0)
STEP(0,0)
Abort9-UserCmd(0,0)
BookSelectedstate2-TravelPlannerCmd(0,0)
GetDeclassifiedCCD-CreditCardCenterCmd(0,0)
GetSingleSelection-UserCmd-2(0,0)
ReleaseCCD-CreditCardCenterCmd(0,0)
afterdeclassifyCCD4ASM-CreditCardCenterCmd(0,0)
BookFlightOffer-AirlineCmd(0,0)
Confirm-UserCmd-4(0,0)
GetFlightOffers-AirlineCmd(0,0)
Init-GetInputRequestData-TravelPlannerCmd(0,0)
RetFlightOffers-TravelAgencyCmd(0,0)
asm(0,0)
BookFlightOfferstate6-AirlineCmd(0,0)
ConfirmRelease-UserCmd-3(0,0)
GetFlightOffers-TravelAgencyCmd(0,0)
OkConfirmBooking-TravelPlannerCmd(0,0)
RetFlightOffers-TravelPlannerCmd(0,0)
declassifyCCD4ASM-CreditCardCenterCmd(0,0)
BookFlightOfferstate7-AirlineCmd(0,0)
DeclassifiedCCD-TravelPlannerCmd(0,0)
GetFlightOffers-TravelPlannerCmd(0,0)
OkPayCommission-AirlineCmd(0,0)
RetFlightOffersstate1-TravelPlannerCmd(0,0)