Provably Correct Systems

This publication has 51 references indexed in Scilit:

• Towards a provably correct hardware implementation of occam
  Published by Springer Nature ,2005
• Normal form approach to compiler design
  Acta Informatica, 1993
• Specifying and verifying requirements of real-time systems
  IEEE Transactions on Software Engineering, 1993
• Duration Calculi: An overview
  Published by Springer Nature ,1993
• Semantics and completeness of Duration Calculus
  Published by Springer Nature ,1992
• Software safety in embedded computer systems
  Communications of the ACM, 1991
• TRIO: A logic language for executable specifications of real-time systems
  Journal of Systems and Software, 1990
• Data refinement by miracles
  Information Processing Letters, 1988
• Laws of programming
  Communications of the ACM, 1987
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987