Principles of the SPIN model checker. Foreword by Gerard J. Holzmann
From MaRDI portal
Publication:5452300
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)
Recommendations
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
- scientific article; zbMATH DE number 1744969 (Why is no real title available?)
- Implementing discrete time in Promela and Spin
- Type inference and strong static type checking for Promela
- FORMAL VERIFICATION OF P SYSTEMS USING SPIN
- Concurrent usage control implementation verification using the SPIN model checker
- Model Checking Software
- Model Checking Software
- scientific article; zbMATH DE number 1670556 (Why is no real title available?)
- 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
- An analytic tableau calculus for a temporalised belief logic
- Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving
- scientific article; zbMATH DE number 1629963 (Why is no real title available?)
- Experiments on a fault tolerant distributed system
- On-the-fly conformance testing using SPIN
- Efficient approximate verification of B and Z models via symmetry markers
- scientific article; zbMATH DE number 2087618 (Why is no real title available?)
- Model-Checking Helena Ensembles with Spin
- 3-Col problem modelling using simple kernel P systems
- Synchronizing relations on words
- scientific article; zbMATH DE number 1670554 (Why is no real title available?)
- scientific article; zbMATH DE number 1670559 (Why is no real title available?)
- scientific article; zbMATH DE number 1982194 (Why is no real title available?)
- 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
- scientific article; zbMATH DE number 1629968 (Why is no real title available?)
- scientific article; zbMATH DE number 2087631 (Why is no real title available?)
- scientific article; zbMATH DE number 2087630 (Why is no real title available?)
- Directed Model Checking for B: An Evaluation and New Techniques
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)
