Verified Software: Theories, Tools And Experiments: 6th International Conference, Vstte 2014, Vienna, Austria, July 17 by Dimitra GiannakopoulouVerified Software: Theories, Tools And Experiments: 6th International Conference, Vstte 2014, Vienna, Austria, July 17 by Dimitra Giannakopoulou

Verified Software: Theories, Tools And Experiments: 6th International Conference, Vstte 2014…

byDimitra GiannakopoulouEditorDaniel Kroening

Paperback | October 28, 2014

Pricing and Purchase Info

$82.95

Earn 415 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.
Title:Verified Software: Theories, Tools And Experiments: 6th International Conference, Vstte 2014…Format:PaperbackDimensions:287 pages, 23.5 × 15.5 × 0.02 inPublished:October 28, 2014Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319121537

ISBN - 13:9783319121536

Reviews

Table of Contents

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