Star-Topology Decoupling in SPIN
DOI10.1007/978-3-319-94111-0_6OpenAlexW2808558381WikidataQ56491944 ScholiaQ56491944MaRDI QIDQ5883577FDOQ5883577
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
Recommendations
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Title not available (Why is that?)
- Weak, strong, and strong cyclic planning via symbolic model checking
- A stubborn attack on state explosion
- Title not available (Why is that?)
- Merge-and-Shrink Abstraction
- An improvement of McMillan's unfolding algorithm
- Title not available (Why is that?)
- Efficient unfolding of contextual Petri nets
- Title not available (Why is that?)
- Model Checking Software
- Model Checking Software
- Star-topology decoupled state space search
- Cunf: a tool for unfolding and verifying Petri nets with read arcs
- Can we efficiently check concurrent programs under relaxed memory models in Maude?
- A verification-based approach to memory fence insertion in PSO memory systems
- Fast Directed Model Checking Via Russian Doll Abstraction
Cited In (2)
Uses Software
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)
