A note on abstract interpretation strategies for hybrid automata
- 1 January 1995
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 252-264
- https://doi.org/10.1007/3-540-60472-3_13
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Automatic symbolic verification of embedded systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systemsLecture Notes in Computer Science, 1993
- Delay analysis in synchronous programsLecture Notes in Computer Science, 1993
- Abstract interpretation and application to logic programsThe Journal of Logic Programming, 1992
- Symbolic model checking: 1020 States and beyondInformation and Computation, 1992
- Integer and Combinatorial OptimizationPublished by Wiley ,1988
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Automatic discovery of linear restraints among variables of a programPublished by Association for Computing Machinery (ACM) ,1978