scientific article; zbMATH DE number 1538047

zbMATH Open0960.68107MaRDI QIDQ4518903FDOQ4518903

Giuseppe Del Castillo, Kirsten Winter

Publication date: 3 December 2000

Title of this publication is not available (Why is that?)

zbMATH Keywords

abstract state machines

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (15)

• Decidable properties for monadic abstract state machines
• Title not available (Why is that?)
• A data-flow approach to test multi-agent ASMs
• The ASM workbench. A tool environment for computer-aided analysis and validation of abstract state machine models
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Data Flow Analysis and Testing of Abstract State Machines
• Title not available (Why is that?)
• Language-oriented formal analysis: a case study on protocols and distributed systems
• Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
• Title not available (Why is that?)

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• The ASM workbench. A tool environment for computer-aided analysis and validation of abstract state machine models 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4518903)