KeY: A Formal Method for Object-Oriented Systems

Abstract

This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of object-oriented software. It aims for integrating design, implementation, formal specification and formal verification as seamlessly as possible. The intention is to provide a platform that… (More)
DOI: 10.1007/978-3-540-72952-5_2

Topics

2 Figures and Tables

Slides referencing similar topics