Computer aided verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings

Computer aided verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, proceedings Part 1

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: International Conference on Computer-Aided Verification (VerfasserIn)
Weitere Verfasser: Shoham, Sharon (HerausgeberIn), Vizel, Yakir (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2022
Schriftenreihe:Lecture notes in computer science 13371
Schlagworte:
Konferenzschrift > Formale Methode > Neuronales Netz > Model Checking
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
A Billion SMT Queries a Day (Invited Paper) 2022 Rungta, Neha
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions 2022 Chen, Mingshuai
Shared Certificates for Neural Network Verification 2022 Fischer, Marc
The Lattice-Theoretic Essence of Property Directed Reachability Analysis 2022 Kori, Mayuko
Affine Loop Invariant Generation via Matrix Algebra 2022 Ji, Yucheng
Proof-Guided Underapproxzimation Widening for Bounded Model Checking 2022 Chatterjee, Prantik
SolCMC: Solidity Compiler’s Model Checker 2022 Alt, Leonardo
PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation 2022 Fan, Yuxin
Distilling Constraints in Zero-Knowledge Protocols 2022 Albert, Elvira
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs 2022 Chatterjee, Krishnendu
Abstraction-Refinement for Hierarchical Probabilistic Models 2022 Junges, Sebastian
Data-driven Numerical Invarıant Synthesis with Automatic Generation of Attriıbutes 2022 Bouajjani, Ahmed
Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement 2022 Bak, Stanley
Verifying Neural Networks Against Backdoor Attacks 2022 Pham, Long H.
Example Guided Synthesis of Linear Approximations for Neural Network Verification 2022 Paulsen, Brandon
Neural Network Robustness as a Verification Property: A Principled Case Study 2022 Casadio, Marco
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption 2022 Banno, Ryotaro
Data-Driven Invariant Learning for Probabilistic Programs 2022 Bao, Jialu
Program Verification with Constrained Horn Clauses (Invited Paper) 2022 Gurfinkel, Arie
TRAINIFY: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning 2022 Jin, Peng
Alle Artikel auflisten