Abstract State Machines

• Introduction
• Papers
  • by Author
  • by Citation
  • by Title
• Tools
• WWW/FTP Sites
• For Educators
• ASM Community
• Conferences
  • ABZ 2010, Orford, Quebec, Canada
• What's New
  • New in 2005
  • New in 2003
  • New in 2002
  • New in 2001
  • New in 2000
  • New in 1999
  • New in 1998
  • New in 1997
  • New in 1996
  • New in 1995

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

Discussions

Table of Contents

• Refinements (2003)
• Logician in the Land of OS (2001)
• High Level System Design and Analysis (1999)
• Why Use ASMs? (1995)
• Systems Level Specifications (1997)
• An Overview Article (1997)

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