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.

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

Publisher  Springer Verlag
All copyrights reserved by Springer 2007.

Details