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.).
2018
QA76.76.V47
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.).
ISBN
9783319737218 (electronic book)
331973721X (electronic book)
9783319737201
3319737201
331973721X (electronic book)
9783319737201
3319737201
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.
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.
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.
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
All Resources
Table of Contents
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.
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.