BDD Algortihms and Cache Misses (1996)

by Nils Klarlund , Theis Rauhe , Nils Klarlund , Theis Rauhe
Citations:2 - 0 self

Active Bibliography

12 BDD Algorithms and Cache Misses – Nils Klarlund, Nils Klarlund, Theis Rauhe, Theis Rauhe - 1996
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
376 Model Checking for Programming Languages using VeriSoft – Patrice Godefroid - 1997
70 MONA Implementation Secrets – Nils Klarlund, Anders Møller, Michael Schwatzbach - 2000
297 Reachability Analysis of Pushdown Automata: Application to Model-Checking – Ahmed Bouajjani, Javier Esparza, Oded Maler - 1997
185 Languages, Automata, and Logic – Wolfgang Thomas - 1996
41 A performance study of BDD-based model checking – Bwolen Yang, Randal E. Bryant, David R. O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan, Fabio Somenzi - 1998
38 Efficient External-Memory Data Structures and Applications – Lars Arge - 1996
122 MONA: Monadic Second-Order Logic in Practice – Jesper G. Henriksen, Ole J.L. Jensen, Michael E. Jørgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders B. Sandholm - 1995