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

Christel BaierChristel Baier, Cesare TinelliCesare Tinelli

DOI Link

Christel Baier, Cesare Tinelli
Some advances in tools and algorithms for the construction and analysis of systems
International Journal on Software Tools for Technology Transfer, 19(6):649--652, 2017

Details
Bibtex

KurzfassungAbstract
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.
Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

@article{BT2017,
  author  = {Christel Baier and Cesare Tinelli},
  title   = {Some advances in tools and algorithms for the construction and
             analysis of systems},
  journal = {International Journal on Software Tools for Technology Transfer},
  volume  = {19},
  number  = {6},
  year    = {2017},
  pages   = {649--652},
  doi     = {10.1007/s10009-017-0471-4}
}