Reasoning assertionally about real-time systems

This publication has 21 references indexed in Scilit:

• Provable transient recovery for frame-based, fault-tolerant computing systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A process algebraic approach to the specification and analysis of resource-bound real-time systems
  Proceedings of the IEEE, 1994
• Specifying modules to satisfy interfaces: A state transition system approach
  Distributed Computing, 1992
• A layered approach to automating the verification of real-time systems
  IEEE Transactions on Software Engineering, 1992
• Temporal proof methodologies for real-time systems
  Published by Association for Computing Machinery (ACM) ,1991
• A relational notation for state transition systems
  IEEE Transactions on Software Engineering, 1990
• Assertional verification of a timer based protocol
  Published by Springer Nature ,1988
• Time-dependent distributed systems: proving safety, liveness and real-time properties
  Distributed Computing, 1987
• Hierarchical correctness proofs for distributed algorithms
  Published by Association for Computing Machinery (ACM) ,1987
• The Science of Programming
  Published by Springer Nature ,1981