Using AsmL for Runtime Verification

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

TypeInproceedings
Pages407
Volume2589
SeriesLecture Notes in Computer Science
ISBN3-540-00624-9
> Publications > Using AsmL for Runtime Verification