By Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
This publication constitutes the refereed court cases of the seventeenth foreign convention on instruments and Algorithms for the development and research of platforms, TACAS 2011, held in Saarbrücken, Germany, March 26—April three, 2011, as a part of ETAPS 2011, the ecu Joint meetings on thought and perform of software program.
The 32 revised complete papers awarded have been rigorously reviewed and chosen from 112 submissions. The papers are geared up in topical sections on reminiscence versions and consistency, invariants and termination, timed and probabilistic structures, interpolations and SAT-solvers, studying, version checking, video games and automata, verification, and probabilistic systems.