Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers / / edited by Dimitra Giannakopoulou, Daniel Kroening
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers / / edited by Dimitra Giannakopoulou, Daniel Kroening
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Edizione: | 1st ed. 2014. |
| Descrizione fisica: | 1 online resource (X, 287 p. 107 illus.) |
| Disciplina: | 005.14 |
| Soggetto topico: | Software engineering |
| Computer logic | |
| Programming languages (Electronic computers) | |
| Computer programming | |
| Mathematical logic | |
| Artificial intelligence | |
| Software Engineering | |
| Logics and Meanings of Programs | |
| Programming Languages, Compilers, Interpreters | |
| Programming Techniques | |
| Mathematical Logic and Formal Languages | |
| Artificial Intelligence | |
| Persona (resp. second.): | GiannakopoulouDimitra |
| KroeningDaniel | |
| Note generali: | Includes index. |
| Nota di contenuto: | Analysis: understanding and explanation -- Verification frameworks and applications -- Hypervisors and dynamic data structures -- Certification -- Real time and security. |
| Sommario/riassunto: | 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. |
| Titolo autorizzato: | Verified Software. Theories, Tools and Experiments |
| ISBN: | 3-319-12154-5 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910483241103321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Programming and Software Engineering ; ; 8471