SPINning parallel systems software

DOI10.1007/3-540-46017-9_16MaRDI QIDQ4738480zbMATH OpenFDO

Authors Olga Shumsky Matlin, Ewing Lusk, William McCune

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2318/23180213.htm

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Principles of the SPIN model checker. Foreword by Gerard J. Holzmann
• Model Checking Software
• Model Checking Nonblocking MPI Programs
• SPIN tutorial: How to become a SPIN doctor
• Parallelizing the \(\text{Mur}\varphi\) verifier

Cited in

(4)

• On automation in the verification of software barriers: experience report
• SPIN tutorial: How to become a SPIN doctor
• Model Checking Software
• Components and interfaces of a process management system for parallel programs

This page was built for publication: SPINning parallel systems software

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4738480)