Topics in Verification: Infinite-State Systems
Instructor:
Amir Pnueli
Location: Ziskind 1
Time: Wednesday, 9-11
This semester the course concentrates on methods for the verification
of infinite-state systems. We start by reviewing several abstraction
methods which abstract potentially infinite-state systems into
finite-state ones, thus reducing ifninite-state verification into
model checking.
Next, we consider methods for deductive verification which are no
longer fully automatic but require user interaction and supervision.
Lecture Notes
Assignments
Amir Pnueli
<amir@wisdom.weizmann.ac.il>
Last modified: Tue May 25 22:04:42 1999