Counter-Example Guided Predicate Abstraction of Hybrid Systems

This publication has 19 references indexed in Scilit:

• Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement
  Published by Springer Nature ,2003
• Hierarchical modeling and analysis of embedded systems
  Proceedings of the IEEE, 2003
• A theory of timed automata
  Published by Elsevier ,2002
• Counterexample-Guided Abstraction Refinement
  Published by Springer Nature ,2000
• Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations
  Published by Springer Nature ,1999
• A comparison of two fast algorithms for computing the distance between convex polyhedra
  IEEE Transactions on Robotics and Automation, 1997
• Computer-aided verification
  IEEE Spectrum, 1996
• Timing Verification by Successive Approximation
  Information and Computation, 1995
• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977