Title | ||
---|---|---|
Techniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions |
Abstract | ||
---|---|---|
In this work we propose techniques for efficient reachabilityanalysis of the state space (e.g., detection of bad states) using a combination of partial order and symmetry based reductions in a distributed setting. The proposed techniques are focused towards explicit state space enumeration based model-checkers like SPIN. We consider variants for both depth-first as well as breadth-first based generation of the reduced state graphs on-the-fly. |
Year | Venue | Keywords |
---|---|---|
2009 | Clinical Orthopaedics and Related Research | software engineering,cluster computing,partial order,state space |
Field | DocType | Volume |
Graph,Spin-½,Mathematical optimization,Computer science,Reachability,Theoretical computer science,State space enumeration,State space,Distributed computing | Journal | abs/0901.0 |
Citations | PageRank | References |
0 | 0.34 | 12 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Janardan Misra | 1 | 165 | 14.33 |
Suman Roy | 2 | 21 | 7.25 |