Synthesizing Monitors for Safety Properties

This publication has 15 references indexed in Scilit:

• Monitoring programs using rewriting
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Monitoring Java Programs with Java PathExplorer
  Electronic Notes in Theoretical Computer Science, 2001
• Formal analysis of a space-craft controller using SPIN
  IEEE Transactions on Software Engineering, 2001
• Model checking JAVA programs using JAVA PathFinder
  International Journal on Software Tools for Technology Transfer, 2000
• Java model checking
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2000
• Bandera
  Published by Association for Computing Machinery (ACM) ,2000
• The Temporal Rover and the ATG Rover
  Published by Springer Nature ,2000
• A deadlock detection tool for concurrent Java programs
  Software: Practice and Experience, 1999
• Experiments in theorem proving and model checking for protocol verification
  Published by Springer Nature ,1996
• The Temporal Logic of Reactive and Concurrent Systems
  Published by Springer Nature ,1992