Michael Barnett, Wolfram Schulte, and Nikolai Tillmann
March 2003
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.
| Type: | Inproceedings |
| Pages: | 407 |
| Volume: | 2589 |
| Series: | Lecture Notes in Computer Science |
| ISBN: | 3-540-00624-9 |