×

zbMATH — the first resource for mathematics

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. (English) Zbl 1293.68018
Lecture Notes in Computer Science 8559. Berlin: Springer (ISBN 978-3-319-08866-2/pbk). xxxiv, 877 p. (2014).

Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1268.68032].
Indexed articles:
Eldib, Hassan; Wang, Chao, Synthesis of masking countermeasures against side channel attacks, 114-130 [Zbl 1445.68058]
Cox, Arlen; Chang, Bor-Yuh Evan; Sankaranarayanan, Sriram, Quicr: a reusable library for parametric abstraction of sets and numbers, 866-873 [Zbl 1296.68004]

MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q60 Specification and verification (program logics, model checking, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX Cite
Full Text: DOI