An efficient partial order reduction algorithm with an alternative proviso implementation
From MaRDI portal
Publication:1600652
DOI10.1023/A:1014728912264zbMath1017.68069OpenAlexW1481204670MaRDI QIDQ1600652
Ratan Nalumasu, Ganesh Gopalakrishnan
Publication date: 16 June 2002
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1014728912264
Related Items (2)
Symmetry and partial order reduction techniques in model checking Rebeca ⋮ Dynamic Reductions for Model Checking Concurrent Software
Uses Software
This page was built for publication: An efficient partial order reduction algorithm with an alternative proviso implementation
