Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems

DOI10.1007/s00165-006-0019-yzbMath1123.68036OpenAlexW2068831082MaRDI QIDQ2643128

Egon Börger

Publication date: 23 August 2007

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-006-0019-y

zbMATH Keywords

System analysisAbstract State MachineASM ground model (golden model)ASM refinementValidation and certificationVerified software challenge

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Concurrent abstract state machines ⋮ ASM-based formal design of an adaptivity component for a cloud system ⋮ The Subject-Oriented Approach to Software Design and the Abstract State Machines Method ⋮ What is the natural abstraction level of an algorithm?

Uses Software

• ACL2
• CoreASM
• FALKO
• XASM
• ASMKeY
• ASM Workbench

Cites Work

• Combining test case generation and runtime verification
• A high-level modular definition of the semantics of C\(_{\sharp}\)
• ASM refinement and generalizations of forward simulation in data refinement: a comparison
• The ASM refinement method
• The formal semantics of SDL-2000: Status and perspectives.
• The B-Book
• Abstract State Machines
• Formal certification of a compiler back-end or
• A formally verified algorithm for clock synchronization under a hybrid fault model
• Frontiers of Combining Systems
• Program development by stepwise refinement
• Abstract State Machines 2004. Advances in Theory and Practice
• Abstract State Machines 2004. Advances in Theory and Practice
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems