Parallelizing the \(\text{Mur}\varphi\) verifier

DOI10.1023/A:1008771324652zbMath1001.68073OpenAlexW224698694MaRDI QIDQ5943259

David L. Dill, Ulrich Stern

Publication date: 9 September 2001

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008771324652

zbMATH Keywords

networks of workstationsmessage passingmemory reduction techniques

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (7)

Model Checking of Biological Systems ⋮ Sequential and distributed on-the-fly computation of weak tau-confluence ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Distributed and Predictable Software Model Checking ⋮ Measuring and Evaluating Parallel State-Space Exploration Algorithms

This page was built for publication: Parallelizing the \(\text{Mur}\varphi\) verifier