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