Abstract

We use AsmL, an executable specification language created by the Foundations of Software Engineering group [1], to describe the behavior of .NET components and perform runtime verification. AsmL is based on the theory of ASMs; AsmL is an industrial-strength specification language that is a full member of the Microsoft .NET Framework.

Details

Publication type

Inproceedings

Published in

Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003