Istituto di Scienza e Tecnologie dell'Informazione     
Asirelli P., Mazzanti F. Deductive proof of software properties. In: Ercim News, vol. 36 p. 15. 1999.
The aim of an recently begun IEI project is to experiment with the idea that a deductive approach can successfully be adopted to support the verification of properties of programs written in high level languages.
Subject D.2.4 Software/Program Verification. Formal methods
F.3.1 Specifying and Verifying and Reasoning about Programs

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional