Verified Software: Theories, Tools, and Experiments, 1st ed. 2016 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers Programming and Software Engineering Series
Coordonnateurs : Gurfinkel Arie, Seshia Sanjit A.
Date de parution : 01-2016
Ouvrage de 223 p.
15.5x23.5 cm
Thème de Verified Software: Theories, Tools, and Experiments :
Mots-clés :
automated reasoning; dynamic analysis; programming logic; software verification; theorem proving; assertion checking; automated static analysis; benchmarks; higher-order logic; Hoare logic; logic and verification; model checking; program analysis; program specification; programming languages; protocol testing and verification; requirements modeling; SAT solving; specification languages; static analysis