PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Gnesi S., Knapp A., (eds.) .. Research Ideas FMICS-AVoCS 2016. Research Ideas FMICS-AVoCS 2016 (ISTI-CNR, Pisa, Italy, 26-28 September 2016), Technical report, 2016.
 
 
Abstract
(English)
This technical report of ISTI contains the research ideas presented at the International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS), which was held in Pisa, Italy, September 26-28, 2016. FMICS-AVoCS 2016 combines the 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems. FMICS-AVoCS 2016 encouraged the submission of research ideas in order to stimulate discussions at the workshop. These research ideas typically concern reports on ongoing work or surveys on work published elsewhere related to the topics of interest to FMICS-AVoCS.
Subject Formal Methods
Critical Systems
Automated Verification Techniques
Model-based System Analysis
Application and Case Studies
D.2.4 Software/Program Verification. Formal methods
D.2.4 Software/Program Verification. Model checking
D.2.13 Reusable Software. Domain engineering
G.3 PROBABILITY AND STATISTICS. Markov processes


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