Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Evolving algebras 1993: Lipari guide
Specification and validation methods
Symbolic Model Checking
The Definition of Standard ML
Principal type-schemes for functional programs
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Model Checking Support for the ASM High-Level Language
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Data Flow Analysis and Testing of Abstract State Machines
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Tutorial: the ASM method for system design and analysis. a tutorial introduction
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Rigorous Methods for Software Construction and Analysis
Hi-index | 0.00 |
Gurevich's Abstract State Machines (ASMs) constitute a high-level state-based modelling language, which has been used in a wide range of applications. The ASM Workbench is a comprehensive tool environment supporting the development and computer-aided analysis and validation of ASM models. It is based on a typed version of the ASM language, called ASM-SL, and includes features for type-checking, simulation, debugging, and verification of ASM models.