Principles of the spin model checker

Principles of the Spin Model Checker

Volumn , Issue , 2008, Pages 1-216

  Ben Ari, Mordechai ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84892241027     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-1-84628-770-1     Document Type: Book

References (19)

1. Krzysztof R. Apt and Ernst-Rüdiger Olderog. Verification of Sequential and Concurrent Programs. Springer, Berlin, 1991.
2. Michal Armoni and Judith Gal-Ezer. Introducing non-determinism. Journal of Computers in Mathematics and Science Teaching, 25(4):325-359, 2006.
3. John Barnes. High Integrity Software: The SPARK Approach to Safety and Security. Addison-Wesley, Harlow, UK, 2003.
4. M. Ben-Ari. Principles of Concurrent and Distributed Programming (Second Edition). Addison-Wesley, Harlow, UK, 2006.
5. Mordechai Ben-Ari. Mathematical Logic for Computer Science (Second Edition). Springer, London, 2001.
6. Mordechi Ben-Ari and Alan Burns. Extreme interleavings. IEEE Concurrency, 6(3):90, 1998.
7. K.M. Chandy and L. Lamport. Distributed snapshots: Determining global states of distributed systems. ACM Transactions on Computer Systems, 3(1):63-75, 1985.
8. Edmund M. Clarke, Orna Grumberg, and Doron A. Peled. Model Checking. MIT Press, Cambridge, MA, 1999.
9. Matthew B. Dwyer, George S. Avrunin, and James C. Corbett. Patterns in property specifications for finite-state verification. In 21st International Conference on Software Engineering, pages 411-420, 1999.
10. RobertW. Floyd. Nondeterministic algorithms. Journal of the ACM, 14(4):636-644, 1967.
11. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall International, Hemel Hempstead, UK, 1985/2004. http://www.usingcsp.com/cspbook. pdf.
12. Gerard J. Holzmann. The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, Reading, MA, 2004.
13. Mike Jones. What really happened on Mars Rover Pathfinder. The Risks Digest, 19(49), 1997. http://catless.ncl.ac.uk/Risks/19.49.html.
14. Jane W. S. Liu. Real-Time Systems. Prentice Hall, Upper Saddle River, NJ, 2000.
15. Nancy A. Lynch. Distributed Algorithms. Morgan Kaufman, San Francisco, CA, 1996.
16. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, New York, 1992.
17. Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer, New York, 1995.
18. Susan H. Rodger and Thomas W. Finley. JFLAP: An Interactive Formal Languages and Automata Package. Jones & Bartlett, Sudbury, MA, 2006.
19. Theo C. Ruys. Towards Effective Model Checking. PhD thesis, University of Twente, 2001. http://wwwhome.cs.utwente.nl/~ruys/ruysphdthesis.pdf.