Local verification using a distributed state space

DOI10.3233/FI-2013-850MaRDI QIDQ2843812zbMATH OpenOpenAlexFDO

Authors Chiheb Ameur Abid, Belhassen Zouari

Publication date 26 August 2013

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2013-850

zbMATH Keywords

distributed systemsmodular verificationPetri netsstate space explosion

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

• Modular state space analysis of coloured Petri nets
• Modular Analysis of Petri Nets
• Model checking safety properties in modular high-level nets
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets

Cited in

(5)

• Verification of finite-state machines: a distributed approach
• Model checking safety properties in modular high-level nets
• scientific article; zbMATH DE number 2064469 (Why is no real title available?)
• Modular state space analysis of coloured Petri nets
• Applications and Theory of Petri Nets 2004

This page was built for publication: Local verification using a distributed state space

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