PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Gnesi S., Knapp A., (eds.) .. Critical systems: formal methods and automated verification. In: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems. Editorial, pp. v - vi. Springer, 2016.
 
 
Abstract
(English)
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016. The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
URL: http://link.springer.com/book/10.1007%2F978-3-319-45943-1
DOI: 10.1007/978-3-319-45943-1
Subject Formal Methods
Critical Systems
Automated Verification Techniques
Model-based System Analysis
Application and Case Studies
D.2 SOFTWARE ENGINEERING
D.2.4 Software/Program Verification. Formal methods
D.2.4 Software/Program Verification. Model checking
D.3 PROGRAMMING LANGUAGES
F.3 LOGICS AND MEANINGS OF PROGRAMS
F.4.1 Mathematical Logic


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