Using AsmL for runtime verification

DOI10.1007/3-540-36498-6_24MaRDI QIDQ4413694zbMATH OpenFDO

Authors Mike Barnett, Wolfram Schulte, Nikolai Tillmann

Publication date 21 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2589/25890407.htm

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Runtime verification for dynamic architectures
• Using ASM specifications for compiler testing
• Assumption-based runtime verification
• Automated Technology for Verification and Analysis

Cited in

(4)

• Semantic essence of AsmL
• Using ASM specifications for compiler testing
• Formal Methods for Components and Objects
• Collecting statistics over runtime executions

Describes a project that uses

Uses Software

• AsmL

This page was built for publication: Using AsmL for runtime verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4413694)