Safety checking of machine code

This publication has 25 references indexed in Scilit:

• Dealing with disaster
  Published by Association for Computing Machinery (ACM) ,1996
• Towards an active network architecture
  ACM SIGCOMM Computer Communication Review, 1996
• Extensibility safety and performance in the SPIN operating system
  Published by Association for Computing Machinery (ACM) ,1995
• Exokernel
  Published by Association for Computing Machinery (ACM) ,1995
• The Paradyn parallel performance measurement tool
  Computer, 1995
• Extending typestate checking using conditional liveness analysis
  IEEE Transactions on Software Engineering, 1993
• Recognizing safety and liveness
  Distributed Computing, 1987
• Pilot
  Communications of the ACM, 1980
• The synthesis of loop predicates
  Communications of the ACM, 1974
• An axiomatic basis for computer programming
  Communications of the ACM, 1969