Model Checking for Managers

  title={Model Checking for Managers},
  author={Wil Janssen and Radu Mateescu and Sjouke Mauw and Peter Fennema and Petra van der Stappen},
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirements, and is therefore not very accessible. In this paper we show how model checking can be applied in the context of business modeling and analysis by people that are not trained in formal techniques. Spin is used as the model checker underlying a graphical modeling language, and requirements are specified using… CONTINUE READING
46 Citations
4 References
Similar Papers


Publications referenced by this paper.
Showing 1-4 of 4 references

A unified framework for design and performance analysis of distributed systems ”

  • H. Jonkers
  • Proceedings of the 3 rd Annual IEEE International…
  • 1998

The application of Promela and Spin in the BOS project

  • W. Janssen, A. Serhrouchni, P. Kars
  • 1996

Similar Papers

Loading similar papers…