Stop the war!
Остановите войну!
for scientists:
default search action
34th CAV 2022: Haifa, Israel - Part I
- Sharon Shoham, Yakir Vizel:
Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part I. Lecture Notes in Computer Science 13371, Springer 2022, ISBN 978-3-031-13184-4
Invited Papers
- Neha Rungta:
A Billion SMT Queries a Day (Invited Paper). 3-18 - Arie Gurfinkel:
Program Verification with Constrained Horn Clauses (Invited Paper). 19-29
Formal Methods for Probabilistic Programs
- Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy:
Data-Driven Invariant Learning for Probabilistic Programs. 33-54 - Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Dorde Zikelic:
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs. 55-78 - Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler:
Does a Program Yield the Right Distribution? - Verifying Probabilistic Programs via Generating Functions. 79-101 - Sebastian Junges, Matthijs T. J. Spaan:
Abstraction-Refinement for Hierarchical Probabilistic Models. 102-123
Formal Methods for Neural Networks
- Marc Fischer, Christian Sprecher, Dimitar I. Dimitrov, Gagandeep Singh, Martin T. Vechev:
Shared Certificates for Neural Network Verification. 127-148 - Brandon Paulsen, Chao Wang:
Example Guided Synthesis of Linear Approximations for Neural Network Verification. 149-170 - Long H. Pham, Jun Sun:
Verifying Neural Networks Against Backdoor Attacks. 171-192 - Peng Jin, Jiaxu Tian, Dapeng Zhi, Xuejun Wen, Min Zhang:
Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning. 193-218 - Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, Idan Refaeli:
Neural Network Robustness as a Verification Property: A Principled Case Study. 219-231
Software Verification and Model Checking
- Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo:
The Lattice-Theoretic Essence of Property Directed Reachability Analysis. 235-256 - Yucheng Ji, Hongfei Fu, Bin Fang, Haibo Chen:
Affine Loop Invariant Generation via Matrix Algebra. 257-281 - Ahmed Bouajjani, Wael-Amine Boutglay, Peter Habermehl:
Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes. 282-303 - Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal, Subhajit Roy:
Proof-Guided Underapproximation Widening for Bounded Model Checking. 304-324 - Leonardo Alt, Martin Blicha, Antti E. J. Hyvärinen, Natasha Sharygina:
SolCMC: Solidity Compiler's Model Checker. 325-338
Hyperproperties and Security
- Raven Beutner, Bernd Finkbeiner:
Software Verification of Hyperproperties Beyond k-Safety. 341-362 - Priyanka Golia, Brendan Juba, Kuldeep S. Meel:
A Scalable Shannon Entropy Estimator. 363-384 - Yuxin Fan, Fu Song, Taolue Chen, Liangfeng Zhang, Wanwei Liu:
PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation. 385-406 - Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber:
Explaining Hyperproperty Violations. 407-429 - Elvira Albert, Marta Bellés-Muñoz, Miguel Isabel, Clara Rodríguez-Núñez, Albert Rubio:
Distilling Constraints in Zero-Knowledge Protocols. 430-443
Formal Methods for Hardware, Cyber-physical, and Hybrid Systems
- Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga:
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption. 447-468 - Anna Becchi, Alessandro Cimatti:
Abstraction Modulo Stability for Reverse Engineering. 469-489 - Stanley Bak, Sergiy Bogomolov, Brandon Hencey, Niklas Kochdumper, Ethan Lew, Kostiantyn Potomkin:
Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement. 490-510 - Eric Goubault, Sylvie Putot:
RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems. 511-523 - Geunyeol Yu, Jia Lee, Kyungmin Bae:
STLmc: Robust STL Model Checking of Hybrid Systems Using SMT. 524-537 - Elizabeth Polgreen, Kevin Cheang, Pranav Gaddamadugu, Adwait Godbole, Kevin Laeufer, Shaokai Lin, Yatin A. Manerkar, Federico Mora, Sanjit A. Seshia:
UCLID5: Multi-modal Formal Modeling, Verification, and Synthesis. 538-551
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.