jSpin
From MaRDI portal
JSpin
Cited in
(28)- Seminator 2
- TopSpin
- Highly-fair bakery algorithm using symmetric tokens
- Compiling and verifying SC-SystemJ programs for safety-critical reactive systems
- B4Free
- Z2sal
- Spin-to-Grape
- SymmSpin
- PROMELA
- Determinization and limit-determinization of Emerson-Lei automata
- Alternative representations of P systems solutions to the graph colouring problem
- MeCoSim
- Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach
- 3-Col problem modelling using simple kernel P systems
- Formal verification of P systems with active membranes through model checking
- Directed Model Checking for B: An Evaluation and New Techniques
- FORMAL VERIFICATION OF P SYSTEMS USING SPIN
- Introduction to model checking
- Liss
- Limi
- P-Lingua
- An analytic tableau calculus for a temporalised belief logic
- Formal model-driven design of distributed algorithms
- Principles of the SPIN model checker. Foreword by Gerard J. Holzmann
- Delag
- Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving
- Efficient approximate verification of B and Z models via symmetry markers
- Synchronizing relations on words
This page was built for software: jSpin
