Istituto di Scienza e Tecnologie dell'Informazione     
Mazzanti F., Marzullo C. Towards the static detection of erroneous execution in Ada 95. Technical report, 1996.
Being absolutely certain that a program execution will not result in unpredictable behaviour is very difficult. Although there is no way to avoid the underlying theoretical difficulties, we believe that a human-centered approach in exploiting advanced static analysis techniques is a viable solution. This paper presents some preliminary results of a feasibility study on this subject, which is currently underway at the I.E.I.
Subject Ada 95
D.2.2 Design Tools and Techniques
D.2.3 Coding Tools and Techniques
D.2.4 Software/Program Verification
F.3.1 Specifying and Verifying and Reasoning about Programs

Icona documento 1) Download Document PS

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