scientific article; zbMATH DE number 1696790

MaRDI QIDQ2767047zbMATH OpenFDO

Authors Michael Leuschel, Helko Lehmann

Publication date 28 January 2002

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Computer Aided Verification
• Monotonic extensions of Petri nets: forward and backward search revisited
• Reduction and covering of infinite reachability trees
• SAT-solving the coverability problem for Petri nets

Cited in

(6)

• Program specialization for verifying infinite state systems: an experimental evaluation
• scientific article; zbMATH DE number 7453192 (Why is no real title available?)
• scientific article; zbMATH DE number 7453193 (Why is no real title available?)
• Well-structured transition systems everywhere!
• Symbolic Specialization of Rewriting Logic Theories with Presto
• Analysis and Transformation of Constrained Horn Clauses for Program Verification

Describes a project that uses

Uses Software

• ECCE
• HyTech

This page was built for publication:

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