Publication Date:
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.
Iris type:
01.01 Articolo in rivista
Keywords:
Software/program verification. Formal methods; Specifying and verifying and reasoning about programs
List of contributors:
Asirelli, Patrizia; Mazzanti, Franco
Published in: