Normal view MARC view ISBD view

Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014. Vienna, Austria, July 18-22, 2014 : Proceedings ; Armin Biere, Roderick Bloem (eds.)

Auteur principal collectivité : Computer aided verification, International conference, 26, July 18-22, 2014, AuteurAuteur secondaire : : Biere, Armin, 1967-, Editeur scientifique;Bloem, Roderick, Editeur scientifiquePublication :Berlin, Heidelberg : Springer, cop. 2014Description : 1 vol. (XVIII-877 p.) : fig., graph., tabl. ; 24 cmISBN : 978-3-319-08866-2.Résumé : This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.Bibliographie: Notes bibliogr. à la fin des contributions ; Author index p. 875-877.Sujet - Nom d'actualité : Logiciels -- Vérification -- Actes de congrès ;Logiciel Sujet : Modèl Checking ;Pointeur ;Terminaison
Current location Call number Status Date due Barcode
Centre de recherche en informatique
VIE 14 Sur demande CRI06407D

Notes bibliogr. à la fin des contributions ; Author index p. 875-877

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction

Powered by Koha

//]]>