The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration
Abstract elided by the publisher.
Related papers
- The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems TOPLAS 1993
- Engineering Verified Model Transformations through a Proof-Based Language Workbench SLE 2026
- From DSL specification to interactive computer programming environment SLE 2019
- Workbench for Creating Block-Based Environments SLE 2022
- Vision: the next 700 language workbenches SLE 2021
- Android Stack Machine CAV 2018
- Freon: An Open Web Native Language Workbench SLE 2022
- Messir: a text-first DSL-based approach for UML requirements engineering (tool demo) SLE 2018