ASM refinement preserving invariants

MaRDI QIDQ3539946zbMATH OpenFDO

Authors Gerhard Schellhorn

Publication date 19 November 2008

Full work available at URL http://www.jucs.org/jucs_14_12/asm_refinement_preserving_invariants

zbMATH Keywords

abstract state machinescommuting diagramsdata refinementdynamic logicelectronic pursesforward simulationinteractive theorem provingmondexrefinementsecurityweakest preconditions

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• The ASM refinement method
• Completeness of ASM refinement
• Atomic actions, and their refinements to isolated protocols
• Completeness of fair ASM refinement
• ASM refinement and generalizations of forward simulation in data refinement: a comparison

Cited in

(5)

• Atomic actions, and their refinements to isolated protocols
• ASM-based formal design of an adaptivity component for a cloud system
• Completeness of ASM refinement
• Completeness of fair ASM refinement
• The ASM refinement method

Describes a project that uses

Uses Software

• KIV

This page was built for publication: ASM refinement preserving invariants

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