Abstract State Machines - Theory and Applications

International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings

ISBN: 978-3-540-67959-2 (Print) 978-3-540-44518-0 (Online)

Table of contents (21 chapters)

previous Page of 2
  1. Front Matter

    Pages I-X

  2. Introduction

    1. No Access

      Book Chapter

      Pages 1-8

      Abstract State Machines at the Cusp of the Millenium

  3. Mathematical Foundations

    1. No Access

      Book Chapter

      Pages 9-21

      Abstract State Machines and Pure Mathematics

    2. No Access

      Book Chapter

      Pages 22-33

      Abstract State Machines and Computationally Complete Query Languages

    3. No Access

      Book Chapter

      Pages 34-49

      On Verification of Refinements of Timed Distributed Algorithms

  4. Abstract State Machine Languages

    1. No Access

      Book Chapter

      Pages 50-68

      Objects + Views = Components?

    2. No Access

      Book Chapter

      Pages 69-90

      XASM- An Extensible, Component-Based Abstract State Machines Language

    3. No Access

      Book Chapter

      Pages 91-111

      Generic Facilities in Object-Oriented ASMs

  5. Distribution and Concurrency

    1. No Access

      Book Chapter

      Pages 112-130

      Towards an ASM Thesis for Unconventional Algorithms

    2. No Access

      Book Chapter

      Pages 131-150

      Partially Ordered Runs: A Case Study

    3. No Access

      Book Chapter

      Pages 151-176

      Investigating Java Concurrency Using Abstract State Machines

  6. Compilers and Semantics

    1. No Access

      Book Chapter

      Pages 177-202

      Verifying Compilers and ASMs or ASMs for Uniform Description of Multistep Transformations

    2. No Access

      Book Chapter

      Pages 203-222

      An ASM Dynamic Semantics for Standard ML

    3. No Access

      Book Chapter

      Pages 223-241

      Modeling the Dynamics of UML State Machines

    4. No Access

      Book Chapter

      Pages 242-265

      On the Formal Semantics of SDL-2000:A Compilation Approach Based on an Abstract SDL Machine

    5. No Access

      Book Chapter

      Pages 266-286

      Description and Simulation of Microprocessor Instruction Sets Using ASMs

  7. Automatic Verication and Model Checking

    1. No Access

      Book Chapter

      Pages 287-302

      Symbolic Analysis of Transition Systems?

    2. No Access

      Book Chapter

      Pages 303-322

      Encoding Abstract State Machines in PVS

    3. No Access

      Book Chapter

      Pages 323-340

      Model Checking Abstract State Machines and Beyond

    4. No Access

      Book Chapter

      Pages 341-360

      Towards a Methodology for Model Checking ASM: Lessons Learned from the FLASH Case Study

  8. Industrial Applications

    1. No Access

      Book Chapter

      Pages 361-366

      Report on a Practical Application of ASMs in Software Design

  9. Back Matter

    Pages 381-381

previous Page of 2