Overview

Full Product Details

Author:   Cezara Dragoi ,  Michael Emmi ,  Jingbo Wang
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   1st ed. 2023
Volume:   13881
Weight:   0.611kg
ISBN:  

9783031249495

ISBN 10:   3031249496
Pages:   389
Publication Date:   17 January 2023
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

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 InterproceduralData-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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions