Using abstract state machines at Microsoft: A case study

DOI10.1007/3-540-44518-8_21MaRDI QIDQ2753719zbMATH OpenFDO

Authors Mike Barnett, Egon Börger, Wolfram Schulte, Margus Veanes, Yuri Gurevich

Publication date 11 November 2001

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

Full work available at URL https://doi.org/10.1007/3-540-44518-8_21

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Computing methodologies and applications (68U99)

Recommendations

• The abstract state machines method for high-level system design and analysis
• Abstract State Machines
• scientific article; zbMATH DE number 1543046
• Frontiers of Combining Systems
• Model checking support for the ASM high-level language

Cited in

(12)

• scientific article; zbMATH DE number 1670521 (Why is no real title available?)
• scientific article; zbMATH DE number 1696889 (Why is no real title available?)
• scientific article; zbMATH DE number 1701780 (Why is no real title available?)
• The abstract state machines method for modular design and analysis of programming languages
• The subject-oriented approach to software design and the abstract state machines method
• The abstract state machines method for high-level system design and analysis
• Abstract state machines and the inquiry process
• scientific article; zbMATH DE number 1543046 (Why is no real title available?)
• Analysis of executable software models
• CoreASM: an extensible ASM execution engine
• Frontiers of Combining Systems
• Can abstract state machines be useful in language theory?

Describes a project that uses

Uses Software

• FALKO

This page was built for publication: Using abstract state machines at Microsoft: A case study

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