Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Using AsmL for Runtime Verification

Michael Barnett, Wolfram Schulte, and Nikolai Tillmann


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.


Publication typeInproceedings
Published inAbstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003
SeriesLecture Notes in Computer Science
PublisherSpringer Verlag
> Publications > Using AsmL for Runtime Verification