Verification with real-time COSPAN

This publication has 11 references indexed in Scilit:

• Automata for modeling real-time systems
  Published by Springer Nature ,2005
• Model-checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Verifying automata specifications of probabilistic real-time systems
  Published by Springer Nature ,1992
• Model-checking for probabilistic real-time systems
  Published by Springer Nature ,1991
• Adding liveness properties to coupled finite-state machines
  ACM Transactions on Programming Languages and Systems, 1990
• Real-Time Logics: Complexity and Expressiveness,
  Published by Defense Technical Information Center (DTIC) ,1990
• Analysis of discrete event coordination
  Published by Springer Nature ,1990
• Combining CTL, trace theory and timing models
  Published by Springer Nature ,1990
• Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols
  IEEE Transactions on Software Engineering, 1987
• Safety analysis of timing properties in real-time systems
  IEEE Transactions on Software Engineering, 1986