Parallelizing the \(\text{Mur}\varphi\) verifier
From MaRDI portal
Publication:5943259
DOI10.1023/A:1008771324652zbMath1001.68073OpenAlexW224698694MaRDI QIDQ5943259
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
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