[an error occurred while processing this directive] [an error occurred while processing this directive]

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:  
[an error occurred while processing this directive]
Jim Huggins / huggins@acm.org
Valid HTML 4.0!

[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