PROMELA

swMATH7635MaRDI QIDQ19657FDOQ19657

Author name not available (Why is that?)

Official website: http://spinroot.com/spin/Man/promela.html

Cited In (50)

• Formalization and validation of the general inter-ORB protocol (GIOP) using PROMELA and SPIN
• A framework for verification of software with time and probabilities
• Formal verification of an executable LTL model checker with partial order reduction
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Translation from Adapted UML to Promela for CORBA-Based Applications
• Verifying the LTL to Büchi automata translation via very weak alternating automata
• Correct transformation: from object-based graph grammars to PROMELA
• Principles of the SPIN model checker. Foreword by Gerard J. Holzmann
• TopSpin
• GeneSyst
• Title not available (Why is that?)
• p2b
• B4Free
• Z2sal
• Spin-to-Grape
• SymmSpin
• Model checking RAISE applicative specifications
• ETCH
• jSpin
• SymmExtractor
• vUML
• SCELlight
• Pinapa
• SCOOT
• Efficient approximate verification of B and Z models via symmetry markers
• VIP
• SPHIN
• CAVA
• Stuttering Equivalence
• 3-Col problem modelling using simple kernel P systems
• From symbolic constraint automata to Promela
• Programming and verifying component ensembles
• ASM Workbench
• VirtuosoNext
• Automatic symmetry detection for Promela
• Formal verification of object-oriented graph grammars specifications
• Compiling and verifying SC-SystemJ programs for safety-critical reactive systems
• Model Checking Software
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the use of SPIN for studying the behavior of nested Petri nets
• Computer Aided Verification

This page was built for software: PROMELA