Towards Efficient Verification of Systems with Dynamic Process Creation

DOI10.1007/978-3-540-85762-4_13zbMath1161.68622OpenAlexW2137141815MaRDI QIDQ5505602

Franck Pommereau, Maciej Koutny, Hanna Klaudel, Elisabeth Pelz

Publication date: 27 January 2009

Published in: Theoretical Aspects of Computing - ICTAC 2008 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85762-4_13

zbMATH Keywords

Petri netsstate-space generationmulti-threaded systemsmarking symmetries

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)

Related Items (2)

Integrated regulatory networks (IRNs): spatially organized biochemical modules ⋮ Towards Efficient Verification of Systems with Dynamic Process Creation

Uses Software

• NetworkX
• Helena
• SymmSpin
• SNAKES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modular verification of multithreaded programs
• M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages
• A symbolic reachability graph for coloured Petri nets
• Canonical prefixes of Petri net unfoldings
• Formal specification and verification of the C\(\#\) thread model
• Constraint-based automatic verification of abstract models of multithreaded programs
• Automatic Symmetry Detection in Well-Formed Nets
• Name Creation vs. Replication in Petri Net Systems
• Towards Efficient Verification of Systems with Dynamic Process Creation
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Applications and Theory of Petri Nets 2005
• Formal Modeling and Analysis of Timed Systems

This page was built for publication: Towards Efficient Verification of Systems with Dynamic Process Creation