On model checking for real-time properties with durations

This publication has 12 references indexed in Scilit:

• Symbolic model checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• On model checking for real-time properties with durations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Model-checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Real-time logics: complexity and expressiveness
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Explicit clock temporal logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A calculus of durations
  Information Processing Letters, 1991
• Temporal proof methodologies for real-time systems
  Published by Association for Computing Machinery (ACM) ,1991
• A really temporal logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1989
• Specification and verification of concurrent systems in CESAR
  Published by Springer Nature ,1982
• The temporal logic of programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977