The refinement calculator: Proof support for program refinement
From MaRDI portal
Recommendations
Cited in
(26)- A program refinement tool
- Mechanizing some advanced refinement concepts
- ERC -- an object-oriented refinement calculus for Eiffel
- Refinement calculus: A basis for translation validation, debugging and certification
- Proof assistance for refinement in type theory
- From proposition to program. Embedding the refinement calculus in Coq
- Freefinement
- A graph-based implementation for mechanized refinement calculus of OO programs
- Patterns for refinement automation
- Refinement trees: calculi, tools, and applications
- scientific article; zbMATH DE number 177257 (Why is no real title available?)
- scientific article; zbMATH DE number 177527 (Why is no real title available?)
- Mechanised support for sound refinement tactics
- Supporting data refinement in a program refinement tool
- A tool for logic program refinement (extended abstract)
- scientific article; zbMATH DE number 1949610 (Why is no real title available?)
- scientific article; zbMATH DE number 2147039 (Why is no real title available?)
- scientific article; zbMATH DE number 756076 (Why is no real title available?)
- Computer-aided development of a real-time program
- A tactic language for refinement of state-rich concurrent specifications
- A theoretical basis for stepwise refinement and the programming calculus
- Refinements for open automata
- Program derivation using the refinement calculator
- ArcAngel: a tactic language for refinement
- Formalization of Refinement Calculus for Reactive Systems
- Algebra of Monotonic Boolean Transformers
This page was built for publication: The refinement calculator: Proof support for program refinement
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4370252)
