State space reduction for dynamic process creation

MaRDI QIDQ4621142zbMATH OpenFDO

Authors Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau

Publication date 8 February 2019

zbMATH Keywords

multi-threaded systemsstate equivalencestate space computationstate space reduction

Mathematics Subject Classification ID

System structure simplification (93B11)

Recommendations

• Towards Efficient Verification of Systems with Dynamic Process Creation
• Effective marking equivalence checking in systems with dynamic process creation
• scientific article; zbMATH DE number 1956603
• Optimistic synchronization-based state-space reduction
• Static analysis for state-space reductions preserving temporal logics

Cited in

(5)

• Compositional state space reduction using untangled actions
• SNAKES: a flexible high-level Petri nets library (tool paper)
• Effective marking equivalence checking in systems with dynamic process creation
• Algebraic Methodology and Software Technology
• Towards Efficient Verification of Systems with Dynamic Process Creation

This page was built for publication: State space reduction for dynamic process creation

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