A transformational method for verifying safety properties in real-time systems
- 7 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 112-123
- https://doi.org/10.1109/real.1989.63562
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- State-based specification of complex real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The existence of refinement mappingsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Verifying temporal properties without temporal logicACM Transactions on Programming Languages and Systems, 1989
- Reasoning about partially ordered eventsArtificial Intelligence, 1988
- Failures semantics and deadlocking of modular petri netsPublished by Springer Nature ,1988
- Logic and ComputationPublished by Cambridge University Press (CUP) ,1987
- Program Transformation SystemsACM Computing Surveys, 1983
- Analysis of petri nets by stepwise refinementsJournal of Computer and System Sciences, 1979
- Proving the Correctness of Multiprocess ProgramsIEEE Transactions on Software Engineering, 1977
- Finite Automata and Their Decision ProblemsIBM Journal of Research and Development, 1959