[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 domdefinitions

dom-Abort8-UserCmd(0,0)dom-DeclassifiedCCD-TravelPlannerCmd(0,0)dom-Mailbox-BookSelected(0,0)dom-Mailbox-GetSingleSelection(0,0)dom-PayCommission-TravelAgencyCmd(0,0)dom-isAbort8-UserCmd(0,0)dom-isDeclassifiedCCD-TravelPlannerCmd(0,0)dom-isOkPayCommission-AirlineCmd(0,0)isStateDom-def(0,0)
dom-Abort9-UserCmd(0,0)dom-GetDeclassifiedCCD-CreditCardCenterCmd(0,0)dom-Mailbox-Confirm(0,0)dom-Mailbox-OkConfirmBooking(0,0)dom-ReleaseCCD-CreditCardCenterCmd(0,0)dom-isAbort9-UserCmd(0,0)dom-isGetDeclassifiedCCD-CreditCardCenterCmd(0,0)dom-isPayCommission-TravelAgencyCmd(0,0)usedDom-constructive(0,0)
dom-BookFlightOffer-AirlineCmd(0,0)dom-GetFlightOffers-AirlineCmd(0,0)dom-Mailbox-ConfirmRelease(0,0)dom-Mailbox-OkPayCommission(0,0)dom-RetFlightOffers-TravelAgencyCmd(0,0)dom-isBookFlightOffer-AirlineCmd(0,0)dom-isGetFlightOffers-AirlineCmd(0,0)dom-isReleaseCCD-CreditCardCenterCmd(0,0)usedDom-def(0,0)
dom-BookFlightOfferstate6-AirlineCmd(0,0)dom-GetFlightOffers-TravelAgencyCmd(0,0)dom-Mailbox-DeclassifiedCCD(0,0)dom-Mailbox-PayCommission(0,0)dom-RetFlightOffers-TravelPlannerCmd(0,0)dom-isBookFlightOfferstate6-AirlineCmd(0,0)dom-isGetFlightOffers-TravelAgencyCmd(0,0)dom-isRetFlightOffers-TravelAgencyCmd(0,0)
dom-BookFlightOfferstate7-AirlineCmd(0,0)dom-GetFlightOffers-TravelPlannerCmd(0,0)dom-Mailbox-GetDeclassifiedCCD(0,0)dom-Mailbox-ReleaseCCD(0,0)dom-RetFlightOffersstate1-TravelPlannerCmd(0,0)dom-isBookFlightOfferstate7-AirlineCmd(0,0)dom-isGetFlightOffers-TravelPlannerCmd(0,0)dom-isRetFlightOffers-TravelPlannerCmd(0,0)
dom-BookSelected-TravelPlannerCmd(0,0)dom-GetInputRequestData-UserCmd-1(0,0)dom-Mailbox-GetFlightOffers-01(0,0)dom-Mailbox-RetFlightOffers-01(0,0)dom-afterdeclassifyCCD4ASM-CreditCardCenterCmd(0,0)dom-isBookSelected-TravelPlannerCmd(0,0)dom-isGetInputRequestData-UserCmd-1(0,0)dom-isRetFlightOffersstate1-TravelPlannerCmd(0,0)
dom-BookSelectedstate2-TravelPlannerCmd(0,0)dom-GetSingleSelection-UserCmd-2(0,0)dom-Mailbox-GetFlightOffers-02(0,0)dom-Mailbox-RetFlightOffers-02(0,0)dom-ccd(0,0)dom-isBookSelectedstate2-TravelPlannerCmd(0,0)dom-isGetSingleSelection-UserCmd-2(0,0)dom-isafterdeclassifyCCD4ASM-CreditCardCenterCmd(0,0)
dom-Confirm-UserCmd-4(0,0)dom-Init-GetInputRequestData-TravelPlannerCmd(0,0)dom-Mailbox-GetFlightOffers-03(0,0)dom-OkConfirmBooking-TravelPlannerCmd(0,0)dom-declassifyCCD4ASM-CreditCardCenterCmd(0,0)dom-isConfirm-UserCmd-4(0,0)dom-isInit-GetInputRequestData-TravelPlannerCmd(0,0)dom-isdeclassifyCCD4ASM-CreditCardCenterCmd(0,0)
dom-ConfirmRelease-UserCmd-3(0,0)dom-Mailbox-BookFlightOffer(0,0)dom-Mailbox-GetInputRequestData(0,0)dom-OkPayCommission-AirlineCmd(0,0)dom-flightOffers(0,0)dom-isConfirmRelease-UserCmd-3(0,0)dom-isOkConfirmBooking-TravelPlannerCmd(0,0)isDeclassDom-def(0,0)