A note on abstract interpretation strategies for hybrid automata

This publication has 12 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• Automatic symbolic verification of embedded systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
  Published by Springer Nature ,1993
• Delay analysis in synchronous programs
  Published by Springer Nature ,1993
• Abstract interpretation and application to logic programs
  The Journal of Logic Programming, 1992
• Integer and Combinatorial Optimization
  Published by Wiley ,1988
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Automatic discovery of linear restraints among variables of a program
  Published by Association for Computing Machinery (ACM) ,1978