Hybrid cc, hybrid automata and program verification

This publication has 17 references indexed in Scilit:

• The algorithmic analysis of hybrid systems
  Theoretical Computer Science, 1995
• Programming in hybrid constraint languages
  Published by Springer Nature ,1995
• Safety property verification of Esterel programs and applications to telecommunications software
  Published by Springer Nature ,1995
• The Esterel synchronous programming language: design, semantics, implementation
  Science of Computer Programming, 1992
• A language for compositional specification and verification of finite state hardware controllers
  Proceedings of the IEEE, 1991
• The synchronous data flow programming language LUSTRE
  Proceedings of the IEEE, 1991
• The synchronous approach to reactive and real-time systems
  Proceedings of the IEEE, 1991
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• On the Development of Reactive Systems
  Published by Springer Nature ,1985
• A logic for default reasoning
  Artificial Intelligence, 1980