Verifying hybrid systems modeled as timed automata: A case study

This publication has 9 references indexed in Scilit:

• Mechanical verification of timed automata: a case study
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Assertional specification and verification using PVS of the steam boiler control system
  Published by Springer Nature ,1996
• Computer-Aided Verification of Coordinating Processes
  Published by Walter de Gruyter GmbH ,1995
• HyTech: The Cornell Hybrid Technology Tool
  Published by Springer Nature ,1995
• Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
  IEEE Transactions on Software Engineering, 1995
• The generalized railroad crossing: a case study in formal verification of real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1994
• Symbolic Model Checking
  Published by Springer Nature ,1993
• Forward and backward simulations for timing-based systems
  Published by Springer Nature ,1992
• Time-constrained automata
  Published by Springer Nature ,1991