scientific article; zbMATH DE number 2111735

MaRDI QIDQ4825544zbMATH OpenFDO

Authors Einar Broch Johnsen, Christoph Lüth

Publication date 28 October 2004

zbMATH Keywords

program refinementtheorem proversproof reuse

Mathematics Subject Classification ID

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

Recommendations

• Automated Technology for Verification and Analysis
• Abstraction and abstraction refinement
• scientific article; zbMATH DE number 1979540
• Refactoring by transformation
• Abstract refinement types
• Transforming semantics by abstract interpretation
• Abstract graph transformation
• Correct Hardware Design and Verification Methods
• A systematic approach to abstract interpretation of program transformations

Cited in

(2)

• Provably correct derivation of algorithms using FermaT
• Specification transformation method for functional program generation based on partition-recursion refinement rule

Describes a project that uses

Uses Software

• TkWinHOL
• MAYA

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 Q4825544)