Computer Aided Verification - Brossura

Chockler, Hana; Weissenbacher, Georg

 
9781013271007: Computer Aided Verification
Brossura
ISBN 10: 1013271009 ISBN 13: 9781013271007
Casa editrice: Saint Philip Street Press, 2020

Sinossi

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.

This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
Saint Philip Street Press
Data di pubblicazione
2020
Lingua
Inglese
ISBN 10 
1013271009
ISBN 13 
9781013271007
Rilegatura
Copertina flessibile
Numero di pagine
554
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9781013270987: Computer Aided Verification

Edizione in evidenza

ISBN 10:  1013270983 ISBN 13:  9781013270987
Casa editrice: Saint Philip Street Press, 2020
Brossura