Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S. Formal specification and verification of complex systems. In: Electronic Notes in Theoretical Computer Science, vol. 80 pp. 1 - 5. Thomas Arts, Wan Fokkink (eds.). Elsevier, 2003.
The application of formal methods in the rigorous de nition and analysis of the functionality and the behaviour of a system, promises the ability of showing that the system is correct. Given such a promise, that is already out since several years, it is astonishing to see how little formal methods are actually used in the safety critical system industry, though the use of formal methods is increasingly required by the international standards and guidelines for the development of complex systems.
URL: http://www.elsevier.nl/locate/entcs/volume80.html
Subject Software verification
Program verification
Specification techniques
F.3.1 Specifying and Verifying and Reasoning about Programs
D.2.4 Software/Program Verification

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