Star-Topology Decoupling in SPIN

DOI10.1007/978-3-319-94111-0_6MaRDI QIDQ5883577zbMATH OpenOpenAlexWikidataFDO

Authors Daniel Gnad, Alberto Lluch Lafuente, J. Hoffmann

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

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

Recommendations

• Star-topology decoupled state space search
• Strong stubborn set pruning for star-topology decoupled state space search
• Model checking \(\omega \)-regular properties with decoupled search
• scientific article; zbMATH DE number 1982206
• scientific article; zbMATH DE number 1744967

Cites work

• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• scientific article; zbMATH DE number 4213468 (Why is no real title available?)
• scientific article; zbMATH DE number 1746648 (Why is no real title available?)
• scientific article; zbMATH DE number 1759425 (Why is no real title available?)
• A stubborn attack on state explosion
• A verification-based approach to memory fence insertion in PSO memory systems
• An improvement of McMillan's unfolding algorithm
• Can we efficiently check concurrent programs under relaxed memory models in Maude?
• Cunf: a tool for unfolding and verifying Petri nets with read arcs
• Efficient unfolding of contextual Petri nets
• Fast Directed Model Checking Via Russian Doll Abstraction
• Merge-and-Shrink Abstraction
• Model Checking Software
• Model Checking Software
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Star-topology decoupled state space search
• Weak, strong, and strong cyclic planning via symbolic model checking

Cited in

(2)

• Model checking \(\omega \)-regular properties with decoupled search
• Star-topology decoupled state space search

Describes a project that uses

Uses Software

• Cunf
• SPIN

This page was built for publication: Star-Topology Decoupling in SPIN

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