Model Checking for Managers
暂无分享,去创建一个
Radu Mateescu | Sjouke Mauw | Wil Janssen | Peter Fennema | Petra van der Stappen | W. Janssen | Radu Mateescu | S. Mauw | P. Fennema
[1] Ivar Jacobson,et al. The object advantage - business process reengineering with object technology , 1994 .
[2] Pim Kars. The application of Promela and Spin in the BOS project , 1996, The Spin Verification System.
[3] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[4] Henk Jonkers,et al. A unified framework for design and performance analysis of distributed systems , 1998, Proceedings. IEEE International Computer Performance and Dependability Symposium. IPDS'98 (Cat. No.98TB100248).
[5] H. Garavel. OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing , 1998, TACAS.
[6] George S. Avrunin,et al. Property specification patterns for finite-state verification , 1998, FMSP '98.
[7] Mark A. Ardis,et al. Proceedings of the second workshop on Formal methods in software practice , 1998 .
[8] H. M. Franken,et al. Get a grip on changing business processes , 1998 .
[9] W. Janssen,et al. Verifying business processes using spin , 1998 .
[10] Henk Eertink,et al. A Business Process Design Language , 1999, World Congress on Formal Methods.
[11] Michael R. Lowry,et al. Formal Analysis of a Space-Craft Controller Using SPIN , 2001, IEEE Trans. Software Eng..