CS 267 Reading Assignments
Weeks 6 and 7:
Chapter 5 from the
Lecture Notes
.
Gerard J. Holzmann,
"The Model Checker SPIN,"
IEEE Trans. Software Eng. 23(5): 279-295 (1997).
Weeks 3 and 4:
Chapters 3.1.4 and 4, from the
Lecture Notes
.
Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill, L. J. Hwang,
"Symbolic Model Checking: 10^20 States and Beyond,"
LICS 1990: 428-439.
Randal E. Bryant,
"Graph-Based Algorithms for Boolean Function Manipulation,"
IEEE Trans. Computers 35(8): 677-691 (1986).
Weeks 1 and 2:
Chapter 2 and Chapter 3 until section 3.1.4, from the
Lecture Notes
.