jSpin
From MaRDI portal
Software:19660
swMATH7638MaRDI QIDQ19660FDOQ19660
Author name not available (Why is that?)
Cited In (16)
- Title not available (Why is that?)
- Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach
- FORMAL VERIFICATION OF P SYSTEMS USING SPIN
- 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
- Efficient approximate verification of B and Z models via symmetry markers
- 3-Col problem modelling using simple kernel P systems
- Synchronizing relations on words
- Formal Model–Driven Design of Distributed Algorithms
- Formal Verification of P Systems with Active Membranes through 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
- Directed Model Checking for B: An Evaluation and New Techniques
- Introduction to Model Checking
This page was built for software: jSpin
