Using abstractions for the verification of linear hybrid systems

This publication has 6 references indexed in Scilit:

• Automata for modeling real-time systems
  Published by Springer Nature ,2005
• Symbolic model checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Automatic symbolic verification of embedded systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Model-checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Software requirements analysis for real-time process-control systems
  IEEE Transactions on Software Engineering, 1991
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986