Model Checking for Managers

This publication has 5 references indexed in Scilit:

• A unified framework for design and performance analysis of distributed systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Get a grip on changing business processes
  Knowledge and Process Management, 1998
• OPEN/CÆSAR: An open software architecture for verification, simulation, and testing
  Published by Springer Nature ,1998
• The application of PROMELA and SPIN in the BOS project
  Published by American Mathematical Society (AMS) ,1997
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997