Parallel External Directed Model Checking with Linear I/O

  title={Parallel External Directed Model Checking with Linear I/O},
  author={Shahid Jabbar and Stefan Edelkamp},
In this paper we present Parallel External A*, a parallel variant of external memory directed model checking. As a model scales up, its successors generation becomes complex and, in turn, starts to impact the running time of the model checker. Probings of our external memory model checker IO-HSF-SPIN revealed that in some of the cases about 70% of the whole running time was consumed in the internal processing. Employing a multiprocessor machine or a cluster of workstations, we can distribute… CONTINUE READING
Highly Cited
This paper has 46 citations. REVIEW CITATIONS
30 Citations
32 References
Similar Papers

Similar Papers

Loading similar papers…