Verification, model checking, and abstract interpretation : 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, proceedings / Isil Dillig, Jens Palsberg (eds.).
VMCAI (Conference) (19th : 2017 : Los Angeles, Calif.); Dillig, Isil, editor.; Palsberg, Jens, editor.
2018
QA76.76.V47
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 : 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, proceedings / Isil Dillig, Jens Palsberg (eds.).
Meeting Name VMCAI (Conference) (19th : 2017 : Los Angeles, Calif.)
ISBN 9783319737218 (electronic book)
331973721X (electronic book)
9783319737201
3319737201
DOI https://doi.org/10.1007/978-3-319-73721-8
Published Cham, Switzerland : Springer, 2018.
Language English
Description 1 online resource.
Item Number 10.1007/978-3-319-73721-8 doi
Call Number QA76.76.V47
Dewey Decimal Classification 005.1/4
Summary This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018. The 24 full papers presented together with the abstracts of 3 invited keynotes and 1 invited tutorial were carefully reviewed and selected from 43 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Digital File Characteristics text file PDF
Source of Description Online resource; title from PDF title page (SpringerLink, viewed January 15, 2018).
Added Author Dillig, Isil, editor.
Palsberg, Jens, editor.
Series Lecture notes in computer science ; 10747.
Lecture notes in computer science. Advanced research in computing and software science.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form Print version: 9783319737201
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Program verification
Model checking
Abstract interpretation
Program synthesis
Static analysis
Type systems
Deductive methods
Program certification
Decision procedures
Theorem proving
Program certification
Debugging techniques
Program transformation
Optimization
Hybrid and cyber-physical systems.

Browse Subjects

Show more subjects...

Statistics

from
to
Export