Towards effective model checking
作者： Theodorus Cornelis Ruys
DOI:
关键词:
摘要: This dissertation describes research into the effective application of model checkers, smart computer programs which can be used to find errors in (the designs of) systems.
utwente.nl
narcis.nl参考文章(146)
Gerard J. Holzmann, The Theory and Practice of A Formal Method: NewCoRe. ifip congress. pp. 35- 44 ,(1994)
Stephen P. Masticola, Barbara G. Ryder, Static Infinite Wait Anomaly Detection in Polynomial Time international conference on parallel processing. pp. 78- 87 ,(1990) , 10.7282/T3QJ7MSJ
Pim Kars, The application of Promela and Spin in the BOS project. The Spin Verification System. pp. 51- 63 ,(1996)
Gerard J. Holzmann, State Compression in SPIN: Recursive Indexing and Compression Training Runs ,(2002)
Walter F. Tichy, Tools for Software Configuration Management. SCM. pp. 1- 20 ,(1988)
Gérard Boudol, Ilaria Castellani, A non-interleaving semantics for CCS based on proved transitions Fundamenta Informaticae. ,vol. 11, pp. 433- 452 ,(1988) , 10.3233/FI-1988-11406
R. Plasmeijer, M.C.J.D. van Eekelen, Concurrent Clean Language Report - version 1.3 Technical Report ; CSI-R9816. ,(1998)
Ralf Hinze, Haskell 98 — A Non−strict‚ Purely Functional Language ,(1999)
Dragan Bošnački, Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness international workshop on model checking software. pp. 40- 56 ,(1999) , 10.1007/3-540-48234-2_4
J Geldenhuys, P J A de Villiers, John Rushby, Runtime Efficient State Compaction in SPIN international workshop on model checking software. pp. 12- 21 ,(1999) , 10.1007/3-540-48234-2_2