Automatic Proofs of Properties of Simple C- Modules

Abstract

We address the problem of verifying automatically properties of modules written in the C language, a very simple imperative language. In this paper, we develop a framework for proving automatically properties of modules written in C . Our approach consists of two steps. At the first step, the C module is automatically transformed into a set of axioms… (More)
DOI: 10.1109/ASE.1999.802322

Topics

Cite this paper

@inproceedings{Fdle1999AutomaticPO, title={Automatic Proofs of Properties of Simple C- Modules}, author={Carine F{\'e}d{\`e}le and Emmanuel Kounalis}, booktitle={ASE}, year={1999} }