Wolfram Schulte, "Contracts, Components, and their Runtime
Verification on the .NET Platform",
Microsoft Research Technical
||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
Foundations of Software Engineering at Microsoft Research
in PDF or