Verified Software: Theories, Tools and Experiments

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

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Verified Software: Theories, Tools and Experiments by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319121543
Publisher: Springer International Publishing Publication: October 13, 2014
Imprint: Springer Language: English
Author:
ISBN: 9783319121543
Publisher: Springer International Publishing
Publication: October 13, 2014
Imprint: Springer
Language: English

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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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.

More books from Springer International Publishing

Cover of the book Activating the Tools of Social Media for Innovative Collaboration in the Enterprise by
Cover of the book Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries by
Cover of the book Prospective Memory by
Cover of the book Multidimensional Periodic Schrödinger Operator by
Cover of the book Basic and Clinical Toxicology of Mustard Compounds by
Cover of the book The Physics of the Mind and Brain Disorders by
Cover of the book Medical Management of Psychotropic Side Effects by
Cover of the book Advances in Affective and Pleasurable Design by
Cover of the book Muslim Communities in England 1962-90 by
Cover of the book KI 2018: Advances in Artificial Intelligence by
Cover of the book Emerging Applications of Control and Systems Theory by
Cover of the book Postcolonial Poetics by
Cover of the book Articulated Motion and Deformable Objects by
Cover of the book Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing by
Cover of the book Topics in Cryptology – CT-RSA 2018 by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy