PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Asirelli P., Mazzanti F. Deductive proof of software properties. In: Ercim News, vol. 36 p. 15. 1999.
 
 
Abstract
(English)
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