Journal article
Some advances in tools and algorithms for the construction and analysis of systems
International journal on software tools for technology transfer, Vol.19(6), pp.649-652
11/2017
DOI: 10.1007/s10009-017-0471-4
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
- Title: Subtitle
- Some advances in tools and algorithms for the construction and analysis of systems
- Creators
- Christel Baier - Technische Universität Dresden Dresden GermanyCesare Tinelli - The University of Iowa Iowa City IA USA
- Resource Type
- Journal article
- Publication Details
- International journal on software tools for technology transfer, Vol.19(6), pp.649-652
- Publisher
- Springer Berlin Heidelberg; Berlin/Heidelberg
- DOI
- 10.1007/s10009-017-0471-4
- ISSN
- 1433-2779
- eISSN
- 1433-2787
- Language
- English
- Date published
- 11/2017
- Academic Unit
- Computer Science
- Record Identifier
- 9984002308902771
Metrics
14 Record Views