Model checking safety properties in modular high-level nets

DOI10.1007/3-540-44919-1_15MaRDI QIDQ3550617zbMATH OpenOpenAlexFDO

Authors 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

high-level netsmodel checkingmodular systemsstate 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)

Recommendations

• Modular state space analysis of coloured Petri nets
• Local verification using a distributed state space
• Modular Analysis of Petri Nets
• An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets
• Applications and Theory of Petri Nets 2004

Cited in

(6)

• scientific article; zbMATH DE number 1617289 (Why is no real title available?)
• Local verification using a distributed state space
• Modeling and Verification of High-Assurance Properties of Safety-Critical Systems
• Model Checking Safety-Critical Systems Using Safecharts
• Modular state space analysis of coloured Petri nets
• Modular inference of subprogram contracts for safety checking

Describes a project that uses

Uses Software

• Maria

This page was built for publication: Model checking safety properties in modular high-level nets

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