A new heuristic for bad cycle detection using BDDs
From MaRDI portal
Publication:5943260
DOI10.1023/A:1008727508722zbMath1001.68074OpenAlexW1654252768MaRDI QIDQ5943260
No author found.
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:1008727508722
Related Items
Model checking with fairness assumptions using PAT, Linear temporal logic symbolic model checking, An approach to the verification of symmetric parameterized distributed systems, An algorithm for strongly connected component analysis in \(n \log n\) symbolic steps, Model checking with strong fairness, Automata-Theoretic Model Checking Revisited, From complementation to certification
