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.
| ISBN: | 9783319415390 |
| Publication date: | 14th July 2016 |
| Author: | Swarat Chaudhuri |
| Publisher: | Springer International Publishing AG |
| Format: | Paperback |
| Pagination: | 521 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation Software Engineering Computer hardware |
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.
Computer Aided Verification features in the following genres: Mathematical theory of computation, Software Engineering, Computer hardware
Computer Aided Verification is available in Paperback
Computer Aided Verification was written by Swarat Chaudhuri and published by Springer International Publishing AG
Computer Aided Verification has 521 pages
Yes it is part of Lecture Notes in Computer Science series
£40.49