Star-Topology Decoupling in SPIN

DOI10.1007/978-3-319-94111-0_6OpenAlexW2808558381WikidataQ56491944 ScholiaQ56491944MaRDI QIDQ5883577

Jörg Hoffmann, Alberto Lluch Lafuente, Daniel Gnad, Unnamed Author

Publication date: 21 March 2023

Published in: Model Checking Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-94111-0_6

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

Model checking \(\omega \)-regular properties with decoupled search

Uses Software

• SPIN
• Cunf

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Efficient unfolding of contextual Petri nets
• A stubborn attack on state explosion
• Weak, strong, and strong cyclic planning via symbolic model checking
• An improvement of McMillan's unfolding algorithm
• Star-topology decoupled state space search
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?
• Merge-and-Shrink Abstraction
• Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs
• A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems
• Fast Directed Model Checking Via Russian Doll Abstraction
• Model Checking Software
• Model Checking Software