Model Checking Safety Properties in Modular High-Level Nets

DOI10.1007/3-540-44919-1_15zbMath1274.68245OpenAlexW1822289477MaRDI QIDQ3550617

Marko M. Mäkelä

Publication date: 31 March 2010

Published in: Applications and Theory of Petri Nets 2003 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-44919-1_15

zbMATH Keywords

model checkingmodular systemshigh-level netsstate space enumeration

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)

Uses Software

• Maria

This page was built for publication: Model Checking Safety Properties in Modular High-Level Nets