Model checking for managers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1680, Issue , 1999, Pages 92-107

  Janssen, Wil ^a   Mateescu, Radu ^b   Mauw, Sjouke ^c,d   Fennema, Peter ^a   van der Stappen, Petra ^a  

^a TELEMATICA INSTITUUT   (Netherlands)

^b INRIA RHÔNE ALPES   (France)

^c EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^d CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

INSURANCE; MODELING LANGUAGES; SYSTEMS ENGINEERING;

BUSINESS MODELING; BUSINESS REQUIREMENT; FORMAL TECHNIQUES; INSURANCE COMPANIES; MODEL CHECKER;

MODEL CHECKING;

EID: 84948160653     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48234-2_7     Document Type: Conference Paper

References (12)

1. Caesar/Aldebaran Development Package homepage. Available at: http://www.inrialpes.fr/vasy/cadp.html
2. Property Specification Patterns for Finite-state Verification, Matthew B. Dwyer, George S. Avrunin and James C. Corbett. In: Proceedings of the 2nd Workshop on Formal Methods in Software Practice, March, 1998.
3. Eertink, H., W.P.M. Janssen, P.H.W.M. Oude Luttighuis, W. Teeuw, and C.A. Vissers, A Business Process Design Language. In: Proceedings World Congress on Formal Methods. Springer LNCS. Toulouse, September 1999.
4. Franken, H.M. and W. Janssen, Get a grip on changing business processes, Knowledge & Process Management (Wiley), Vol. 5, № 4, pp. 208-215. December 1998.
5. Garavel, H., OPEN/CAESAR: An open software architecture for verification, simulation and testing. INRIA Rapport de recherche n3352, January 1998.
6. Havelund, K., M. Lowry and J. Penix. Formal analysis of a space craft controller using Spin. in G. Holzman, E. Najm and A. Serhrouchni (eds.), Proceedings of the 4th International SPIN Workshop, Paris, France, Nov. 1998, pp. 147-167.
7. Holzman, G.J., The model checker SPIN, IEEE Transactions on Software Engineering, Vol. 23, № 5, May 1997, 279-295.
8. Jacobson, I., M. Ericsson en A. Jacobson, The Object Advantage - Business Process Reengineering with Object Technology, ACM Books, 1995.
9. Jonkers, H., W. Janssen, A. Verschut and E. Wierstra, "A unified framework for design and performance analysis of distributed systems", in Proceedings of the 3rd Annual IEEE International Computer Performance and Dependability Symposium (IPDS"98), Durham, NC, USA, Sept. 1998, pp. 109-118.
10. Janssen, W., R. Mateescu, S. Mauw and J. Springintveld, Verifying business processes using SPIN, in G. Holzman, E. Najm and A. Serhrouchni (eds.), Proceedings of the 4th International SPIN Workshop, Paris, France, Nov. 1998, pp. 21-36. Also available at: http://netlib.bell-labs.com/netlib/spin/ws98/siouke.ps.gz
11. Kars, P., The application of Promela and Spin in the BOS project. In: Proceedings Second Spin Workshop. August 1996. Available at: http://netlib.bell-labs.com/netlib/spin/ws96/papers.html
12. CMU Model Checking Home page. Available at: http://www.cs.cmu.edu/~modelcheck/smv.htm.