Skip to content
Snippets Groups Projects
Select Git revision
  • fe69027930996b7c2a4aa932e98c9d72635352bf
  • main default protected
2 results

AppointmentMachine.bps

Blame
    • AppointmentMachine.bps 3.70 KiB 
    <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<org.eventb.core.psFile>
    <org.eventb.core.psStatus name="INITIALISATION/inv1/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="154" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="INITIALISATION/inv3/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="154" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="INITIALISATION/inv4/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="154" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="INITIALISATION/inv5/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="154" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="INITIALISATION/inv8/INV" org.eventb.core.confidence="0" org.eventb.core.poStamp="154" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="registerNewPatient/inv3/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="154" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="BookAppointment/inv3/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="154" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="changePatientPassword/inv3/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="154" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="changeDentistPassword/inv3/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="154" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="changeDentistPassword/inv4/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="154" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="AdminRegisterPatientToDentist/inv3/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="154" org.eventb.core.psBroken="true" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="AdminRegisterPatientToDentist/inv4/INV" org.eventb.core.confidence="1000" org.eventb.core.poStamp="154" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="AdminRegisterPatientToAdministrator/inv3/INV" org.eventb.core.confidence="0" org.eventb.core.poStamp="154" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="AdminRegisterDentistToAdministrator/inv3/INV" org.eventb.core.confidence="0" org.eventb.core.poStamp="154" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="AdminRegisterDentistToAdministrator/inv4/INV" org.eventb.core.confidence="0" org.eventb.core.poStamp="154" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="CancelAppointment/inv3/INV" org.eventb.core.confidence="0" org.eventb.core.poStamp="154" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="RebookAppointment/inv3/INV" org.eventb.core.confidence="0" org.eventb.core.poStamp="154" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="CheckInAppointment/inv3/INV" org.eventb.core.confidence="0" org.eventb.core.poStamp="154" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="CompletedAppointment/inv3/INV" org.eventb.core.confidence="0" org.eventb.core.poStamp="154" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="MissedAppointment/inv3/INV" org.eventb.core.confidence="0" org.eventb.core.poStamp="154" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="CheckOverdueAppointments/inv3/INV" org.eventb.core.confidence="0" org.eventb.core.poStamp="154" org.eventb.core.psManual="false"/>
    <org.eventb.core.psStatus name="GetsPatientsTreatmentRecord/grd0/WD" org.eventb.core.confidence="0" org.eventb.core.poStamp="154" org.eventb.core.psManual="false"/>
</org.eventb.core.psFile>