[an error occurred while processing this directive] [an error occurred while processing this directive]

Abstract State Machines

Introduction
Papers
Tools
WWW/FTP Sites
For Educators
ASM Community
Conferences
- ABZ 2010, Orford, Quebec, Canada
What's New

Subjects

Methodology

Books
Discussions
Historical Surveys & Bibliographies
Introductory Materials
Refinement

Applications

Abstract Algorithms
Architectures (hardware and software)
Benchmark Examples
Compiler Correctness
Databases
Distributed Systems
Hardware
Industrial Reports
Interpreters & Tools (papers only)
Java
Logic & Computability
Mechanical Verification
Models of Computation (other)
Montages
Natural Languages
Programming Languages
Protocols
Real-Time Systems
Security
Software Engineering
UML
Verification
VHDL
WAM/Logic Programming
Miscellany

ASM Studies

ASM Explorations
ASM Extensions

Benchmark Examples

Table of Contents

Broy-Lamport Problem
Island Tunnel Controller
Light Control
Material Flow System
Microsoft Case Study: Debugger
Production Cell Control Problem
Railroad Crossing Problem
Steam Boiler Problem

[an error occurred while processing this directive]

Jim Huggins / huggins@acm.org

[an error occurred while processing this directive] URL: http://web.eecs.umich.edu/gasm/subjects/benchmark.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT