jSpin
From MaRDI portal
Software:19660
No author found.
Related Items (16)
Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach ⋮ Formal Verification of P Systems with Active Membranes through Model Checking ⋮ Unnamed Item ⋮ Introduction to Model Checking ⋮ Determinization and limit-determinization of Emerson-Lei automata ⋮ Highly-fair bakery algorithm using symmetric tokens ⋮ 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 ⋮ An analytic tableau calculus for a temporalised belief logic ⋮ Directed Model Checking for B: An Evaluation and New Techniques ⋮ Compiling and verifying SC-SystemJ programs for safety-critical reactive systems ⋮ Formal Model–Driven Design of Distributed Algorithms ⋮ FORMAL VERIFICATION OF P SYSTEMS USING SPIN ⋮ Alternative representations of P systems solutions to the graph colouring problem ⋮ 3-Col problem modelling using simple kernel P systems
This page was built for software: jSpin
