Concepedia

BDD-based software verification

Dirk Beyer, Andreas Stahlbauer

International Journal on Software Tools for Technology Transfer · 2014 · 29 citations · 27 references

DOI

References

27

Graph-Based Algorithms for Boolean Function Manipulation

Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text

, , +16

Symbolic model checking: 1020 States and beyond

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · Information and Computation · 1992 · 2.7K citations

, , +12

Lazy abstraction

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar et al. · 2002 · 1.2K citations

, , +11

Counterexample-guided abstraction refinement for symbolic model checking

Edmund M. Clarke, Orna Grümberg, Somesh Jha et al. · Journal of the ACM · 2003 · 991 citations

, , +13

The software model checker Blast

Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala et al. · International Journal on Software Tools for Technology Transfer · 2007 · 594 citations

, , +10