Verified Software: Theories, Tools and Experiments
Format:
ISBN13: 9783319121543
|9783319121543
Out of Stock
Overview
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.
| ISBN-13 | 9783319121543 |
|---|---|
| ISBN-10 | 3319121545 |
| List Price | $72.00 |
| Format | - |
|---|---|
| Language | English |
| Pages | 287 pages |
| Publisher | |
| Published On | 2014-10-13 |
View All Offers
Sort by:
Price
