Saturation Enhanced with Conditional Locality: Application to Petri Nets

DOI10.1007/978-3-030-21571-2_19MaRDI QIDQ6184729FDOQ6184729

Authors: Vince Molnár, István Majzik 

Publication date: 29 January 2024

Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 1956594
• scientific article; zbMATH DE number 1701768
• Correct Hardware Design and Verification Methods
• Symbolic CTL model checking of asynchronous systems using constrained saturation
• Ten years of saturation: a Petri net perspective

zbMATH Keywords

formal verificationsymbolic model checkingconditional localitygeneralized saturation

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)

Cites Work

• Symbolic model checking: \(10^{20}\) states and beyond
• Symbolic CTL model checking of asynchronous systems using constrained saturation
• Title not available (Why is that?)
• Component-wise incremental LTL model checking
• Getting the priorities right: saturation for prioritised Petri nets
• Correct Hardware Design and Verification Methods
• Hierarchical Set Decision Diagrams and Automatic Saturation

Cited In (1)

• Improving Saturation Efficiency with Implicit Relations

This page was built for publication: Saturation Enhanced with Conditional Locality: Application to Petri Nets

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