Promela planning

DOI10.1007/3-540-44829-2_13MaRDI QIDQ4426383zbMATH OpenFDO

Authors Stefan Edelkamp

Publication date 16 September 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2648/26480197.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• p2b: A translation utility for linking Promela and symbolic model checking (tool paper)
• Action planning for directed model checking of Petri nets
• scientific article; zbMATH DE number 2038893
• Automated Reasoning with Analytic Tableaux and Related Methods
• Translation of timed Promela to timed automata with discrete data

Cited in

(7)

• In defense of PDDL axioms
• Implementing discrete time in Promela and Spin
• Merge-and-Shrink Abstraction
• scientific article; zbMATH DE number 1069489 (Why is no real title available?)
• p2b: A translation utility for linking Promela and symbolic model checking (tool paper)
• Star-Topology Decoupling in SPIN
• Symbolic search for cost-optimal planning with expressive model extensions

Describes a project that uses

Uses Software

• STAN

This page was built for publication: Promela planning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4426383)