Local Verification Using a Distributed State Space

DOI10.3233/FI-2013-850zbMath1271.68164OpenAlexW1564313204MaRDI QIDQ2843812

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 systemsPetri netsmodular verificationstate 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)

This page was built for publication: Local Verification Using a Distributed State Space