Attacking symbolic state explosion

DOI10.1007/3-540-44585-4_28MaRDI QIDQ4551160zbMATH OpenFDO

Authors Giorgio Delzanno, Laurent Van Begin, Jean-François Raskin

Publication date 4 September 2002

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/2102/21020298

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Symbolic and structural model-checking
• Sequential and distributed model checking of Petri net specifications
• Symbolic model checking with rich assertional languages
• Unfoldings of unbounded Petri nets
• An assertional language for the verification of systems parametric in several dimensions (preliminary results)

Cited in

(4)

• Monotonic extensions of Petri nets: forward and backward search revisited
• Symbolic execution of concurrent systems using Petri nets
• An assertional language for the verification of systems parametric in several dimensions (preliminary results)
• Symbolic and structural model-checking

Describes a project that uses

Uses Software

• HyTech

This page was built for publication: Attacking symbolic state explosion

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