Some advances in tools and algorithms for the construction and analysis of systems

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

Beitragende

Abstract

Because of the complexity of software systems and their increasing criticality, there is a pressing need for sophisticated and highly automated tools for the analysis of software artifacts and their expected behavioral properties. A growing body of research is using formal methods to produce increasingly powerful and scalable analysis tools, although several challenges still remain. We briefly outline some recent achievements in automated analysis represented by four selected papers from the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015). Two of the selected papers describe major achievements in the field of parallel model checking. The third paper presents an auto-active theorem prover for the verification of Eiffel programs. The fourth paper reports on a non-trivial case study with hybrid automata and interactive theorem proving techniques.

Details

OriginalspracheEnglisch
Seiten (von - bis)649-652
Seitenumfang4
FachzeitschriftInternational Journal on Software Tools for Technology Transfer
Jahrgang19
Ausgabenummer6, TACAS'15
PublikationsstatusVeröffentlicht - 2017
Peer-Review-StatusJa

Externe IDs

Scopus 85028822128
ORCID /0000-0002-5321-9343/work/142236673

Schlagworte

Schlagwörter

  • tools, algorithms, construction and analysis of systems, Computer-aided verification, Theorem proving, Program analysis, Model checking