Using AsmL for Runtime Verification

Michael Barnett, Wolfram Schulte, and Nikolai Tillmann

Abstract

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.

Details

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