Translation validation

This publication has 15 references indexed in Scilit:

• Proof-carrying code
  Published by Association for Computing Machinery (ACM) ,1997
• A provably correct embedded verifier for the certification of safety critical software
  Published by Springer Nature ,1997
• Safe kernel extensions without run-time checking
  Published by Association for Computing Machinery (ACM) ,1996
• A platform for combining deductive with algorithmic verification
  Published by Springer Nature ,1996
• Temporal Verification of Reactive Systems
  Published by Springer Nature ,1995
• Temporal verification of simulation and refinement
  Published by Springer Nature ,1994
• Synchronous programming with events and relations: the SIGNAL language and its semantics
  Science of Computer Programming, 1991
• The existence of refinement mappings
  Theoretical Computer Science, 1991
• Simulations between specifications of distributed systems
  Published by Springer Nature ,1991
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987