Verifying properties of process definitions

This publication has 7 references indexed in Scilit:

• Data flow analysis for checking properties of concurrent Java programs
  Published by Association for Computing Machinery (ACM) ,1999
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• Using integer programming to verify general safety and liveness properties
  Formal Methods in System Design, 1995
• Data flow analysis for verifying properties of concurrent programs
  Published by Association for Computing Machinery (ACM) ,1994
• Symbolic Model Checking
  Published by Springer Nature ,1993
• Issues encountered in building a flexible software development environment
  Published by Association for Computing Machinery (ACM) ,1992
• STATEMATE: a working environment for the development of complex reactive systems
  IEEE Transactions on Software Engineering, 1990