6.820 | Fall 2015 | Undergraduate

Fundamentals of Program Analysis

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
Download File

Course Info

Departments
As Taught In
Fall 2015
Level
Undergraduate
Topics
Learning Resource Types
Lecture Notes
Programming Assignments
Download Course
MIT Open Learning
Over 2,500 courses & materials
Freely sharing knowledge with learners and educators around the world. Learn more
© 2001–2025 Massachusetts Institute of Technology
Accessibility
Creative Commons License
Terms and Conditions
Proud member of:
© 2001–2025 Massachusetts Institute of Technology