ASM Workbench

swMATH39223MaRDI QIDQ54923FDOQ54923

Author name not available (Why is that?)

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
• Unnamed Publication

Cited In (9)

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

This page was built for software: ASM Workbench