[an error occurred while processing this directive]

Abstract State Machines

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:

[an error occurred while processing this directive]

[an error occurred while processing this directive] URL: http://web.eecs.umich.edu/gasm/papers/verifnet.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT