Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

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: