Recent advances in interactive and automated analysis

Radu Mateescu 1
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Computers and distributed software applications are becoming nowadays ubiquitous, and therefore their safety and reliability have increasingly important societal impact. In this context, formal methods equipped with powerful and versatile analysis tools are more important than ever in the design process. Despite the relevant scientific results and well-established tools obtained in recent years, there is a constant need of enhancing the analysis capabilities in order to handle increasingly complex systems. We briefly discuss some recent advances in the field, introducing five papers selected from the 22th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016).
Type de document :
Article dans une revue
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2018, 20 (2), pp.119 - 123. 〈10.1007/s10009-017-0477-y〉
Liste complète des métadonnées

Littérature citée [46 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01766570
Contributeur : Radu Mateescu <>
Soumis le : vendredi 13 avril 2018 - 17:09:35
Dernière modification le : mardi 17 avril 2018 - 13:46:30

Fichier

preface_sttt_tacas_16.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Radu Mateescu. Recent advances in interactive and automated analysis. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2018, 20 (2), pp.119 - 123. 〈10.1007/s10009-017-0477-y〉. 〈hal-01766570〉

Partager

Métriques

Consultations de la notice

106

Téléchargements de fichiers

18