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