TY  - BOOK
AU  - Chaudhuri,Swarat
AU  - Farzan,Azadeh
ED  - CAV (Conference)
TI  - Computer aided verification: 28th International conference, CAV 2016, Toronto, ON, USA, July 17-23, 2016 : proceedings
T2  - Lecture notes in computer science,
SN  - 9783319415284
AV  - QA76.76.V47 
U1  - 004.24 23
PY  - 2016///
CY  - Switzerland
PB  - Springer
KW  - Computer software
KW  - Verification
KW  - Congresses
KW  - Logiciels
KW  - Vérification
KW  - Congrès
KW  - Software Engineering
KW  - bicssc
KW  - Mathematical theory of computation
KW  - Computer networking & communications
KW  - Computer programming
KW  - software development
KW  - Computers
KW  - Software Development & Engineering
KW  - General
KW  - bisacsh
KW  - Mathematics
KW  - Logic
KW  - Hardware
KW  - Programming
KW  - fast
KW  - Congress
KW  - proceedings (reports)
KW  - aat
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - Includes bibliographical references and index; Probabilistic systems -- Synthesis -- Constraint solving -- Model checking -- Program analysis -- Timed and hybrid systems -- Verification in practice -- Concurrency -- Automata and games
N2  - The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016. The total of 46 full and 12 short papers presented in the proceedings was carefully reviewed and selected from 195 submissions. The papers were organized in topical sections named: probabilistic systems; synthesis; constraint solving; model checking; program analysis; timed and hybrid systems; verification in practice; concurrency; and automata and games
UR  - https://link.springer.com/10.1007/978-3-319-41528-4
ER  -