Slide 1 Specifying and Checking Stateful Software Interfaces (Lecture 2) Manuel Fähndrich [email protected] Microsoft Research 2005 Summer School on Reliable Computing Eugene,…
