Adding real time to formal program development

This publication has 12 references indexed in Scilit:

• Proof Obligations for Real-Time Refinement
  Published by Springer Nature ,1994
• State Transition Assertions: A Case Study
  Published by Elsevier ,1994
• Portable, parallelizing Pascal compiler
  IEEE Software, 1993
• Stepwise design of real-time systems
  IEEE Transactions on Software Engineering, 1993
• A Practical Theory of Programming
  Published by Springer Nature ,1993
• A case-study in timed refinement: a mine pump
  IEEE Transactions on Software Engineering, 1992
• Compiler support for object-oriented real-time software
  IEEE Software, 1992
• Forced transformation of Occam programs
  Information and Software Technology, 1992
• Experiences with “delay until” for Avionics computers
  ACM SIGAda Ada Letters, 1992
• The Science of Programming
  Published by Springer Nature ,1981