Automatic symbolic verification of embedded systems
- 30 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 600, 2-11
- https://doi.org/10.1109/real.1993.393520
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- Model-Checking in Dense Real-TimeInformation and Computation, 1993
- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systemsPublished by Springer Nature ,1993
- Integration Graphs: A class of decidable hybrid systemsPublished by Springer Nature ,1993
- An approach to the description and analysis of hybrid systemsPublished by Springer Nature ,1993
- Verifying hybrid systemsPublished by Springer Nature ,1993
- Prom timed to hybrid systemsPublished by Springer Nature ,1992
- From ATP to timed graphs and hybrid systemsPublished by Springer Nature ,1992
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- A Decision Procedure for the First Order Theory of Real Addition with OrderSIAM Journal on Computing, 1975