Verification, Model Checking, and Abstract Interpretation
portes grátis
Verification, Model Checking, and Abstract Interpretation
24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Wang, Jingbo; Emmi, Michael; Dragoi, Cezara
Springer International Publishing AG
01/2023
389
Mole
Inglês
9783031249495
15 a 20 dias
611
Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;architecture verification and validation;artificial intelligence;computer programming;computer systems;distributed computer systems;embedded systems;formal logic;logic programming;mathematics;model checking;parallel processing systems;program compilers;programming languages;software architecture;software design;software engineering;software quality;verification and validation
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
architecting;architecture verification and validation;artificial intelligence;computer programming;computer systems;distributed computer systems;embedded systems;formal logic;logic programming;mathematics;model checking;parallel processing systems;program compilers;programming languages;software architecture;software design;software engineering;software quality;verification and validation
