Back to Verification Homepage Back to Tool page

VERIFICATION '01: Reading Material

Lecture 1: BDDs

[JPK] Joost-Pieter Katoen: "Concepts, Algorithms, and Tools for Model Checking". (Lecture Notes)
(.ps.gz)
[HRA] Henrik Reif Andersen. "An Introduction to Binary Decision Diagrams." DTU, Sep. 1997
(.ps.gz)
[B86] Randy E. Bryant, "Graph-Based Algorithms for Boolean Function Manipulation," IEEE Transactions on Computers, Vol. C-35, No. 8 (August, 1986), pp. 677-691.
(.ps.gz)
[B92] Randy E. Bryant, "Symbolic Boolean Manipulation with Ordered Binary Decision Diagrams," ACM Computing Surveys, Vol. 24, No. 3 (September, 1992), pp. 293-318.
(.ps.gz)

further... Further relevant publications can be found in recent conferences of CAV, TACAS, LICS, ICCAD, DATE, etc. This link points to a collection of related ones.
For general literature search, you can use the Bibliography & Library Index Page

Oliver Möller - Last modified: Fri May 4 15:39:20 2001