Verified Software: Theories, Tools and Experiments

6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

AvDimitra Giannakopoulou,Daniel Kroening

Häftad, Engelska, 2014

Del 8471 i serien Lecture Notes in Computer Science

530 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification.

Produktinformation

Utgivningsdatum:2014-10-28
Mått:155 x 235 x 17 mm
Vikt:458 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:287
Upplaga:2014
Förlag:Springer International Publishing AG
ISBN:9783319121536

Utforska kategorier

Innehållsförteckning

Analysis: understanding and explanation.- Verification frameworks and applications.- Hypervisors and dynamic data structures.- Certification.- Real time and security.