Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings

Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings
Author: Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-67959-2
DOI: 10.1007/3-540-44518-8

Table of Contents:

• Abstract State Machines at the Cusp of the Millenium
• Abstract State Machines and Pure Mathematics
• Abstract State Machines and Computationally Complete Query Languages
• On Verification of Refinements of Timed Distributed Algorithms
• Objects + Views = Components?
• XASM- An Extensible, Component-Based Abstract State Machines Language
• Generic Facilities in Object-Oriented ASMs
• Towards an ASM Thesis for Unconventional Algorithms
• Partially Ordered Runs: A Case Study
• Investigating Java Concurrency Using Abstract State Machines
• Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations
• An ASM Dynamic Semantics for Standard ML
• Modeling the Dynamics of UML State Machines
• On the Formal Semantics of SDL-2000:A Compilation Approach Based on an Abstract SDL Machine
• Description and Simulation of Microprocessor Instruction Sets Using ASMs
• Symbolic Analysis of Transition Systems?
• Encoding Abstract State Machines in PVS
• Model Checking Abstract State Machines and Beyond
• Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study
• Report on a Practical Application of ASMs in Software Design

Includes bibliographical references and index