PROMELA

swMATH7635MaRDI QIDQ19657FDOQ19657

Author name not available (Why is that?)

Cited In (30)

• 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
• Title not available (Why is that?)
• 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
• Programming and Verifying Component Ensembles
• 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
• A Framework for Verification of Software with Time and Probabilities
• Title not available (Why is that?)
• Model checking RAISE applicative specifications
• Efficient approximate verification of B and Z models via symmetry markers
• 3-Col problem modelling using simple kernel P systems
• On the Use of SPIN for Studying the Behavior of Nested Petri Nets
• From symbolic constraint automata to Promela
• 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?)
• Testing with Büchi Automata: Transition Coverage Metrics, Performance Analysis, and Property Refinement
• Computer Aided Verification

This page was built for software: PROMELA