Runtime Verification of .NET

---

Citation:	Michael Barnett and Wolfram Schulte, "Contracts, Components, and their Runtime Verification on the .NET Platform", Microsoft Research Technical Report MSR-TR-2002-38.
Summary:	AsmL is used to specify behavioral interfaces for .NET programs. These programs can be run as stand-along simulations or used as runtime contracts to check the behavior of .NET programs during their execution.
Subjects:	Software Engineering, Verification
Download:	From Foundations of Software Engineering at Microsoft Research in PDF or PostScript.
Notes: