Lecture Notes
Software Model Checking with Abstraction Refinement, Lecture 25
Description:
This is a file that contains information regarding software model checking with abstraction refinement.
Resource Type:
Lecture Notes
pdf
1 MB
Software Model Checking with Abstraction Refinement, Lecture 25
Course Info
Instructor
Departments
As Taught In
Fall
2015
Level
Course Info
Instructor
Departments
As Taught In
Fall
2015
Level
Learning Resource Types
notes
Lecture Notes
assignment
Programming Assignments