Topics in Verification: Infinite-State Systems --
Lecture Notes
Note: The posted lecture notes are in PostScript.
You can find a PostScript viewer
here.
-
Lectures 2,3 -- March 24, April 14:
Transparencies
-
Lecture 4 -- May 5:
Transparencies
-
Follow-up on Lecture 4: Network Invariants for systems with
synchronous (non-interleaving) parallel composition --
Transparencies
Amir Pnueli
<amir@wisdom.weizmann.ac.il>
Last modified: Sun May 23 16:28:24 1999