Verification, model checking, and abstract interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings / Bernd Finkbeiner, Thomas Wies (eds.).
2022
QA76.76.V47 V53 2022eb
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 : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings / Bernd Finkbeiner, Thomas Wies (eds.).
Meeting Name
VMCAI (Conference) (23rd : 2022 : Philadephia, Pa.)
ISBN
9783030945831 (electronic bk.)
3030945839 (electronic bk.)
9783030945824 (print)
3030945820
3030945839 (electronic bk.)
9783030945824 (print)
3030945820
Published
Cham, Switzerland : Springer, 2022.
Language
English
Description
1 online resource (x, 520 pages) : illustrations (some color).
Item Number
10.1007/978-3-030-94583-1 doi
Call Number
QA76.76.V47 V53 2022eb
Dewey Decimal Classification
005.1015113
Summary
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022. The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
Note
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 26, 2022).
Added Author
Finkbeiner, Bernd, editor.
Wies, Thomas, editor.
Wies, Thomas, editor.
Series
Lecture notes in computer science ; 13182.
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
Verification, Model Checking, and Abstract Interpretation
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources