scientific article; zbMATH DE number 2111735

zbMATH Open1094.68635MaRDI QIDQ4825544FDOQ4825544

Authors: Einar Broch Johnsen, Christoph Lüth 

Publication date: 28 October 2004

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

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

zbMATH Keywords

program refinementtheorem proversproof reuse

Mathematics Subject Classification ID

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

Cited In (2)

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

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)