Saturation Enhanced with Conditional Locality: Application to Petri Nets

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

István Majzik, Vince Molnár

Publication date: 29 January 2024

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

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

• Component-wise incremental LTL model checking
• Symbolic model checking: \(10^{20}\) states and beyond
• Getting the priorities right: saturation for prioritised Petri nets
• Hierarchical Set Decision Diagrams and Automatic Saturation
• Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
• Correct Hardware Design and Verification Methods
• Unnamed Item

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