Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID35th CAV 2023: Paris, France - Part III
- Constantin Enea
, Akash Lal:
Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III. Lecture Notes in Computer Science 13966, Springer 2023, ISBN 978-3-031-37708-2
Probabilistic Systems
- Rupak Majumdar, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, Sadegh Soudjani:
A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties. 3-15 - Yican Sun, Hongfei Fu, Krishnendu Chatterjee, Amir Kafshdar Goharshady:
Automated Tail Bound Analysis for Probabilistic Recurrence Relations. 16-39 - Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo:
Compositional Probabilistic Model Checking with String Diagrams of MDPs. 40-61 - Thom S. Badings, Sebastian Junges, Ahmadreza Marandi, Ufuk Topcu, Nils Jansen:
Efficient Sensitivity Analysis for Parametric Robust Markov Chains. 62-85 - S. Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, Dorde Zikelic:
MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives. 86-112 - Roman Andriushchenko, Alexander Bork, Milan Ceska, Sebastian Junges, Joost-Pieter Katoen, Filip Macák:
Search and Explore: Symbiotic Policy Synthesis in POMDPs. 113-135
Security and Quantum Systems
- Yu-Fang Chen, Kai-Min Chung, Ondrej Lengál, Jyun-Ao Lin, Wei-Lun Tsai:
AutoQ: An Automata-Based Quantum Circuit Verifier. 139-153 - Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett:
Bounded Verification for Finite-Field-Blasting - In a Compiler for Zero Knowledge Proofs. 154-175 - Elvira Albert, Samir Genaim, Daniel Kirchner, Enrique Martin-Martin:
Formally Verified EVM Block-Optimizations. 176-189 - Gourav Takhar, Subhajit Roy:
SR-SFLL: Structurally Robust Stripped Functionality Logic Locking. 190-212 - Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps:
Symbolic Quantum Simulation with Quasimodo. 213-225 - Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte:
Verifying the Verifier: eBPF Range Analysis Verification. 226-251
Software Verification
- Mingyang Liu, Fu Song, Taolue Chen:
Automated Verification of Correctness for Masked Arithmetic Programs. 255-280 - Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer:
Automatic Program Instrumentation for Automatic Verification. 281-304 - Andoni Rodríguez, César Sánchez:
Boolean Abstractions for Realizability Modulo Theories. 305-328 - Ming-Hsien Tsai, Yu-Fu Fu, Jiaxiang Liu, Xiaomu Shi, Bow-Yaw Wang, Bo-Yin Yang:
Certified Verification for Algebraic Abstraction. 329-349 - Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey:
Complete Multiparty Session Type Projection with Automata. 350-373 - Nick Feng, Lina Marsso, Mehrdad Sabetzadeh, Marsha Chechik:
Early Verification of Legal Compliance via Bounded Satisfiability Checking. 374-396 - Simon Guilloud, Mario Bucev, Dragana Milovancevic, Viktor Kuncak:
Formula Normalizations in Verification. 398-422 - Alberto Griggio, Martin Jonás:
Kratos2: An SMT-Based Model Checker for Imperative Programs. 423-436 - Eszter Couillard, Philipp Czerner, Javier Esparza, Rupak Majumdar:
Making sf IP=sf PSPACE Practical: Efficient Interactive Protocols for BDD Algorithms. 437-458 - Hanliang Zhang, Cristina David, Yijun Yu, Meng Wang:
Ownership Guided C to Rust Translation. 459-482 - Chris Johannsen, Phillip H. Jones, Brian Kempa, Kristin Yvonne Rozier, Pei Zhang:
R2U2 Version 3.0: Re-Imagining a Toolchain for Specification, Resource Estimation, and Optimized Observer Generation for Runtime Verification in Hardware and Software. 483-497
a service of 
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.
last updated on 2024-04-30 20:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
