default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th FMCAD 2025: Menlo Park, CA, USA
- Ahmed Irfan, Daniela Kaufmann:
Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025, Menlo Park, CA, USA, October 6-10, 2025. TU Wien Academic Press 2025, ISBN 978-3-85448-084-6 - Alberto Griggio:
Verification Modulo Theories. - Ankush Desai:
Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods. - Ashish Tiwari:
Program Synthesis: Pre-LLM and Post-LLM. - Nina Narodytska:
Integrating Large Language Models in Automated Program Verification. - Tanja Schindler, Lee Barnett:
The FMCAD 2025 Student Forum. - Armin Biere, Nils Froleyks, Mathias Preiner:
Hardware Model Checking Competition 2025. - Amirmohammad Nazari, Matin Amini, Mukund Raghothaman:
"How Does my Circuit Work?": Local Explanations for the Behavior of Sequential Circuits. - Raven Beutner, Bernd Finkbeiner:
On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information. - Christopher Johannsen, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn:
Scalable MLTL Runtime Monitoring and Satisfiability via Bit-Vector Encoding. - Pei-Wei Chen, Shaokai Lin, Adwait Godbole, Ramneet Singh, Elizabeth Polgreen, Edward A. Lee, Sanjit A. Seshia:
PolyVer: A Compositional Approach for Polyglot System Modeling and Verification. - Meghan Stuart, Parasara Sridhar Duggirala:
Quantifying Robustness of Medical Image Segmentation Networks Using TensorStars. - Samuel Teuber, Debasmita Lohar, Bernhard Beckert:
Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision. - Aditi Kabra, Jonathan Laurent, Sagar Bharadwaj, Ruben Martins, Stefan Mitsch, André Platzer:
Can Large Language Models Autoformalize Kinematics? - Daneshvar Amrollahi, Mathias Preiner, Aina Niemetz, Andrew Reynolds, Moses Charikar, Cesare Tinelli, Clark W. Barrett:
Towards SMT Solver Stability via Input Normalization. - Amalee Wilson, Nina Narodytska, Clark W. Barrett, Haoze Wu:
Per-Instance Subproblem Generation for Strategy Selection in SMT. - Mudathir Mohamed, Nick Feng, Andrew Reynolds, Cesare Tinelli, Clark W. Barrett, Marsha Chechik:
Solving Set Constraints with Comprehensions and Bounded Quantifiers. - Amar Shah, Twain Byrnes, Joseph E. Reeves, Marijn J. H. Heule:
Learning Short Clauses via Conditional Autarkies. - Alexis A. Aurandt, Kristin Yvonne Rozier, Phillip H. Jones:
R2U2 Playground: Visualization of a Real-time, Temporal Logic Runtime Monitor. - Kevin Lotz, Mitja Kulczynski, Dirk Nowotka:
s2s: An Eager SMT Solver for Strings. - Alexander Konrad, Christoph Scholl:
FastPoly: An Efficient Polynomial Package for the Verification of Integer Arithmetic Circuits. - Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu:
OSTRICH2: Solver for Complex String Constraints. - Carl Kwan, Yutong Xin, William D. Young:
A Formal Y86 Simulator with CHERI Features. - Yahya Sohail, Warren A. Hunt Jr.:
A Method for the Verification of Memory Management Software in the Presence of TLBs. - Sewon Park, Atsushi Igarashi:
Making Rabbit Run for Security Verification of Networked Systems with Unbounded Loops. - Lee A. Barnett, Loris D'Antoni, Amit Goel, Rami Gökhan Kici, Neha Rungta, Mary Southern, Chungha Sung:
Modeling the AWS Authorization Engine. - Jackson Melchert, Caleb Terrill, Aron Ricardo Perez-Lopez, Clark W. Barrett, Priyanka Raina:
Automated Translation Validation of a Compiler for Statically Scheduled Accelerators. - Ilo Chen, Che Cheng, Jie-Hong Roland Jiang:
Unifying DQMax#SAT and DSSAT: Polynomial-Time Reduction and Applications. - Petra Hozzová, Nikolaj Bjørner:
Synthesiz3 This: an SMT-Based Approach for Synthesis with Uncomputable Symbols. - Yuan Xia, Aabha Shailesh Pingle, Deepayan Sur, Srivatsan Ravi, Mukund Raghothaman, Jyotirmoy V. Deshmukh:
Guiding Likely Invariant Synthesis on Distributed Systems with Large Language Models. - Leiqi Ye, Yixuan Li, Guy Frankel, Jianyi Cheng, Elizabeth Polgreen:
Unlocking Hardware Verification with Oracle Guided Synthesis. - Matthew Sotoudeh, Zachary Yedidia:
Automated Formal Verification of a Software Fault Isolation System. - Aaron Tomb, Anjali Joshi:
Static Coverage in Deductive Software Verification. - Joseph Tafese, Siddharth Priya, Giuliano Losa, Arie Gurfinkel, Graydon Hoare:
A Tale of Two Case Studies: A Unified Exploration of Rust Verification with SEABMC.
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 2026-01-29 23:09 CET 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:
