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.
Deductive proof of software properties
Asirelli P;Mazzanti F
1999
Abstract
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_407778-doc_142965.pdf
solo utenti autorizzati
Descrizione: Deductive proof of software properties
Tipologia:
Versione Editoriale (PDF)
Dimensione
27.33 kB
Formato
Adobe PDF
|
27.33 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
