PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Hähnle R., Schaefer I. Correctness-by-construction and post-hoc verification: friends or foes?. In: ISoLA'16 - 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Corfu, Greece, 10-14 October 2016). Proceedings, pp. 723 - 729. T. Margaria, B. Steffen (eds.). (Lecture Notes in Computer Science, vol. 9952). Springer, 2016.
 
 
Abstract
(English)
While correctness-by-construction and post-hoc verification are traditionally considered to provide two opposing views on proving software systems to be free from errors, nowadays numerous techniques and application fields witness initiatives that try to integrate elements of both ends of the spectrum. The ultimate aim is not merely to improve the correctness of software systems but also to improve their time-to-market, and to do so at a reasonable cost. This track brings together researchers and practitioners interested in the inherent 'tension' that is usually felt when trying to balance the pros and cons of correctness-by-construction versus post-hoc verification.
URL: http://link.springer.com/chapter/10.1007%2F978-3-319-47166-2_51
DOI: 10.1007/978-3-319-47166-2_51
Subject Software Product Lines
System-of-Systems
Synthesis
Deductive Verification
Lightweight Verification
Design for Verification
Statistical Model checking
D.2.4 SOFTWARE ENGINEERING. 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