The Cogito Development System

Authors:
Owen Traynor;Dan Hazel;Peter Kearney;Andrew Martin;Ray Nickson;Luke Wildman
Affiliations:
-;-;-;-;-;-
Venue:
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Year:
1997

Citing 0
Cited 3

The KeY Approach: Integrating Object Oriented Design and Formal Verification

JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
A Formal Basis for a Program Compilation Proof Tool

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Rewriting of imperative programs into logical equations

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract