Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings / Dirk Beyer, Damien Zufferey (eds.).
VMCAI (Conference) (21st : 2020 : New Orleans, La.); Beyer, Dirk, 1972-; Zufferey, Damien.
2020
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 : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings / Dirk Beyer, Damien Zufferey (eds.).
Meeting Name VMCAI (Conference) (21st : 2020 : New Orleans, La.)
ISBN 9783030393229 (electronic book)
3030393224 (electronic book)
9783030393212
DOI https://doi.org/10.1007/978-3-030-39
Published Cham : Springer International Publishing, 2020
Language English
Description 1 online rRessource (xiv, 471 pages) : illustrations.
Item Number 10.1007/978-3-030-39
Call Number QA76.76.V47
Dewey Decimal Classification 005.1015113
Summary This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
Note International conference proceedings.
Includes author index.
Access Note Access limited to authorized users.
Added Author Beyer, Dirk, 1972-
Zufferey, Damien.
Series Lecture Notes in Computer Science ; 11990.
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
Witnessing Secure Compilation
BackFlow: Backward Context-sensitive Flow Reconstruction of Taint Analysis Results
Fixing Code That Explodes Under Symbolic Evaluation
The Correctness of a Code Generator for a Functional Language
Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification
Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction
A Systematic Approach to Abstract Interpretation of Program Transformations
Sharing ghost variables in a collection of abstract domains
Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation
Synthesizing Environment Invariants for Modular Hardware Verification
Systematic Classi cation of Attackers via Bounded Model Checking
Cheap CTL Compassion in NuSMV
A Cooperative Parallelization Approach for Property-Directed k-Induction
Generalized Property-Directed Reachability for Hybrid Systems
Language Inclusion for Finite Prime Event Structures
Promptness and Bounded Fairness in Concurrent and Parameterized Systems
Solving LIA* Using Approximations
Formalizing and checking Multilevel Consistency
Practical Abstractions for Automated Veri cation of Shared-Memory Concurrency
How to Win First-Order Safety Games
Improving Parity Game Solvers with Justifications.

Browse Subjects

Show more subjects...

Statistics

from
to
Export