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