Cited in
(53)- Computer Aided Verification
- Formalization and validation of the general inter-ORB protocol (GIOP) using PROMELA and SPIN
- Formal verification of an executable LTL model checker with partial order reduction
- A framework for verification of software with time and probabilities
- scientific article; zbMATH DE number 1069486 (Why is no real title available?)
- scientific article; zbMATH DE number 1069490 (Why is no real title available?)
- Checking the Conformance of a Promela Design to its Formal Specification in Event-B
- Static slicing of explicitly synchronized languages
- A generalized semantics of PROMELA for abstract model checking
- SPHIN: a model checker for reconfigurable hybrid systems based on SPIN
- Type inference and strong static type checking for Promela
- Testing with Büchi automata: transition coverage metrics, performance analysis, and property refinement
- FORMAL VERIFICATION OF P SYSTEMS USING SPIN
- Verifying the LTL to Büchi automata translation via very weak alternating automata
- Correct transformation: from object-based graph grammars to PROMELA
- Translation from Adapted UML to Promela for CORBA-Based Applications
- Principles of the SPIN model checker. Foreword by Gerard J. Holzmann
- TopSpin
- GeneSyst
- HiVy
- StEAM
- SPIN
- p2b
- B4Free
- Z2sal
- Spin-to-Grape
- SymmSpin
- ETCH
- jSpin
- SymmExtractor
- vUML
- SCELlight
- Pinapa
- SCOOT
- VIP
- SPHIN
- CAVA
- Stuttering Equivalence
- ASM Workbench
- Model checking RAISE applicative specifications
- Efficient approximate verification of B and Z models via symmetry markers
- scientific article; zbMATH DE number 1744965 (Why is no real title available?)
- 3-Col problem modelling using simple kernel P systems
- From symbolic constraint automata to Promela
- Programming and verifying component ensembles
- Automatic symmetry detection for Promela
- Formal verification of object-oriented graph grammars specifications
- Compiling and verifying SC-SystemJ programs for safety-critical reactive systems
- VirtuosoNext
- Model Checking Software
- scientific article; zbMATH DE number 1045394 (Why is no real title available?)
- scientific article; zbMATH DE number 1629968 (Why is no real title available?)
- On the use of SPIN for studying the behavior of nested Petri nets
This page was built for software: PROMELA
