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

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung



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.


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

Externe IDs

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



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