Model checking programs

This publication has 17 references indexed in Scilit:

• Modular and incremental analysis of concurrent software systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Issues in slicing PROMELA and its applications to model checking, protocol understanding, and simulation
  International Journal on Software Tools for Technology Transfer, 2000
• A deadlock detection tool for concurrent Java programs
  Software: Practice and Experience, 1999
• Mechanical verification of a garbage collector
  Published by Springer Nature ,1999
• Remote Agent: to boldly go where no AI system has gone before
  Artificial Intelligence, 1998
• Uppaal in a nutshell
  International Journal on Software Tools for Technology Transfer, 1997
• Eraser
  ACM Transactions on Computer Systems, 1997
• Model checking for programming languages using VeriSoft
  Published by Association for Computing Machinery (ACM) ,1997
• A mechanically verified incremental garbage collector
  Formal Aspects of Computing, 1994
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987