Verification, model checking, and abstract interpretation [electronic resource] : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / Barbara Jobstmann, K. Rustan M. Leino (eds.).
VMCAI (Conference) (17th : 2016 : Saint Petersburg, Fla.); Jobstmann, Barbara, editor.; Leino, K. Rustan M., editor.
2016
QA76.76.V47 V53 2016eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Verification, model checking, and abstract interpretation [electronic resource] : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / Barbara Jobstmann, K. Rustan M. Leino (eds.).
Meeting Name VMCAI (Conference) (17th : 2016 : Saint Petersburg, Fla.)
ISBN 9783662491225 (electronic book)
3662491222 (electronic book)
9783662491218
DOI https://doi.org/10.1007/978-3-662-49122-5
Published Berlin : Springer, 2016.
Language English
Description 1 online resource (xiii, 558 pages) : color illustrations.
Item Number 10.1007/978-3-662-49122-5 doi
Call Number QA76.76.V47 V53 2016eb
Dewey Decimal Classification 005.1/4
Summary This book constitutes the refereed proceedings of the 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
Note International conference proceedings.
Bibliography, etc. Note Includes bibliographical references and author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed January 13, 2016).
Added Author Jobstmann, Barbara, editor.
Leino, K. Rustan M., editor.
Series Lecture notes in computer science ; 9583.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Abstract Interpretation
Abstraction
Hybrid and Timed Systems
Dynamic and Static Verification
Probabilistic Systems
Concurrent Programs
Parameterized and Component-Based Systems
Solver Improvements.

Browse Subjects

Show more subjects...

Statistics

from
to
Export