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.
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
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