ASM Workbench

swMATH39223MaRDI QIDQ54923FDOQ54923

Author name not available (Why is that?)

Described by source

• Unnamed Publication
• The ASM workbench. A tool environment for computer-aided analysis and validation of abstract state machine models

Cited In (3)

• A data-flow approach to test multi-agent ASMs
• Correct transformation: from object-based graph grammars to PROMELA
• 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