Recent advances in interactive and automated analysis - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Special Issue International Journal on Software Tools for Technology Transfer Year : 2018

Recent advances in interactive and automated analysis

Radu Mateescu
  • Function : Author
  • PersonId : 834239

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).
Fichier principal
Vignette du fichier
preface_sttt_tacas_16.pdf (161.64 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01766570 , version 1 (13-04-2018)

Identifiers

Cite

Radu Mateescu. Recent advances in interactive and automated analysis. France. International Journal on Software Tools for Technology Transfer, 20 (2), pp.119 - 123, 2018, ⟨10.1007/s10009-017-0477-y⟩. ⟨hal-01766570⟩
202 View
153 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More