Verification, model checking, and abstract interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, proceedings / Cezara Dragoi, Michael Emmi, Jingbo Wang (eds.).
VMCAI (Conference) (24th : 2023 : Boston, Mass.); Drăgoi, Cezara, editor.; Emmi, Michael, editor.; Wang, Jingbo, editor.
2023
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 : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, proceedings / Cezara Dragoi, Michael Emmi, Jingbo Wang (eds.).
Meeting Name VMCAI (Conference) (24th : 2023 : Boston, Mass.)
ISBN 9783031249501 (electronic bk.)
303124950X (electronic bk.)
9783031249495
3031249496
DOI https://doi.org/10.1007/978-3-031-24950-1
Published Cham : Springer, 2023.
Language English
Description 1 online resource (390 pages)
Item Number 10.1007/978-3-031-24950-1 doi
Call Number QA76.76.V47
Dewey Decimal Classification 005.1/4
Summary This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
Note Includes author index.
Access Note Access limited to authorized users.
Source of Description Description based on print version record.
Added Author Drăgoi, Cezara, editor.
Emmi, Michael, editor.
Wang, Jingbo, editor.
Series Lecture notes in computer science ; 13881.
Lecture notes in computer science. Advanced research in computing and software science.
Available in Other Form Verification, model checking, and abstract interpretation.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Distributing and Parallelizing Non-canonical Loops
SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study
StaticPersist : Compiler Support for PMEM Programming
Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference
Satisfiability Modulo Custom Theories in Z3
Bayesian parameter estimation with guarantees via interval analysis and simulation
A Pragmatic Approach to Stateful Partial Order Reduction
Compositional Verification of Stigmergic Collective Systems
Efficient Interprocedural Data-Flow Analysis using Treedepth and Treewidth
Maximal Robust Neural Network Specifications via Oracle-guided Numerical Optimization
A generic framework to coarse-grain stochastic reaction networks by Abstract Interpretation
CosySEL: Improving SAT Solving Using Local Symmetries
Sound Symbolic Execution via Abstract Interpretation and its Application to Security
Result Invalidation for Incremental Modular Analyses
Synthesizing History and Prophecy Variables for Symbolic Model Checking
Solving Constrained Horn Clauses over Algebraic Data Types
ARENA: Enhancing Abstract Refinement for Neural Network Verification.

Browse Subjects

Show more subjects...

Statistics

from
to
Export