Verified Software: Theories, Tools, And Experiments: 7th International Conference, Vstte 2015, San Francisco, Ca, Usa, by Arie GurfinkelVerified Software: Theories, Tools, And Experiments: 7th International Conference, Vstte 2015, San Francisco, Ca, Usa, by Arie Gurfinkel

Verified Software: Theories, Tools, And Experiments: 7th International Conference, Vstte 2015, San…

byArie GurfinkelEditorSanjit A. Seshia

Paperback | January 29, 2016

Pricing and Purchase Info

$79.29 online 
$82.95 list price
Earn 396 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 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA.
The 12 revised full papers presented were carefully revised and selected from 25 submissions.
The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation and
large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge.      
Title:Verified Software: Theories, Tools, And Experiments: 7th International Conference, Vstte 2015, San…Format:PaperbackDimensions:223 pages, 23.5 × 15.5 × 0.17 inPublished:January 29, 2016Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319296124

ISBN - 13:9783319296128

Look for similar items by category:

Reviews

Table of Contents

Large-scale verification.- collaboration:- Theory Unication.- Tool
Integration.- Formalized domain knowledge.