ASM Workbench

MaRDI QIDQ54923swMATHFDO

Official website https://dl.acm.org/doi/abs/10.5555/646485.694460

Described by source

• The ASM workbench. A tool environment for computer-aided analysis and validation of abstract state machine models
• scientific article; zbMATH DE number 1701780 (Why is no real title available?)

Cited in

(10)

• Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
• Correct transformation: from object-based graph grammars to PROMELA
• CoreASM
• FALKO
• vUML
• XASM
• ASMKeY
• ASMETA
• Coverlipse
• A data-flow approach to test multi-agent ASMs

This page was built for software: ASM Workbench