Verifying quantitative real-time properties of synchronous programs

This publication has 7 references indexed in Scilit:

• Operational and compositional semantics of synchronous automaton compositions
  Published by Springer Nature ,2006
• Symbolic model checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Model-checking for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The Esterel synchronous programming language: design, semantics, implementation
  Science of Computer Programming, 1992
• Compiling real-time specifications into extended automata
  IEEE Transactions on Software Engineering, 1992
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• LUSTRE: a declarative language for real-time programming
  Published by Association for Computing Machinery (ACM) ,1987