Principles of the SPIN model checker. Foreword by Gerard J. Holzmann
zbMATH Open1142.68044MaRDI QIDQ5452300FDOQ5452300
Authors: Mordechai Ben-Ari 
Publication date: 26 March 2008
Recommendations
Theory of programming languages (68N15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (36)
- Formal model-driven design of distributed algorithms
- The formal design of distributed controllers with \(_{\text d}\text{SL}\) and spin
- Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach
- SPHIN: a model checker for reconfigurable hybrid systems based on SPIN
- Title not available (Why is that?)
- Implementing discrete time in Promela and Spin
- Type inference and strong static type checking for Promela
- FORMAL VERIFICATION OF P SYSTEMS USING SPIN
- Model Checking Software
- Concurrent usage control implementation verification using the SPIN model checker
- Model Checking Software
- Title not available (Why is that?)
- Formal verification of P systems with active membranes through model checking
- From NuSMV to SPIN: Experiences with model checking flight guidance systems
- Determinization and limit-determinization of Emerson-Lei automata
- Experiments on a fault tolerant distributed system
- An analytic tableau calculus for a temporalised belief logic
- Title not available (Why is that?)
- Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving
- On-the-fly conformance testing using SPIN
- Title not available (Why is that?)
- Efficient approximate verification of B and Z models via symmetry markers
- Model-Checking Helena Ensembles with Spin
- 3-Col problem modelling using simple kernel P systems
- Synchronizing relations on words
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Introduction to model checking
- Highly-fair bakery algorithm using symmetric tokens
- Compiling and verifying SC-SystemJ programs for safety-critical reactive systems
- Alternative representations of P systems solutions to the graph colouring problem
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Directed Model Checking for B: An Evaluation and New Techniques
Uses Software
This page was built for publication: Principles of the SPIN model checker. Foreword by Gerard J. Holzmann
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5452300)
