Temporal Logic Case Study
sei.cmu.eduA case study applying temporal logic to specify the operation of a bank of identical elevators servicing a number of floors in a building.
A case study applying temporal logic to specify the operation of a bank of identical elevators servicing a number of floors in a building.