researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[-]
OR
AND
NOT
1
1996
1998
2000
2002
2004
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2023
Filter by Tag
[+]
OR
AND
NOT
1
C++
Meta-Environment
abstraction
analysis
case study
consistency
constraints
data-flow
design
e-science
graph-rewriting
logic
meta-model
meta-objects
model checking
modeling
protocol
refinement
rule-based
systematic-approach
Filter by Author
[+]
OR
AND
NOT
1
Aarti Gupta
Alan Mishchenko
Alessandro Cimatti
Alexander Ivrii
Alexander Nadel
Arie Gurfinkel
Armin Biere
Byron Cook
Cesare Tinelli
Clark W. Barrett
David L. Dill
Fabio Somenzi
Hari Mony
Jason Baumgartner
Michael L. Case
Ofer Strichman
Robert K. Brayton
Roderick Bloem
Sanjit A. Seshia
Sharad Malik
Filter by Top terms
[+]
OR
AND
NOT
1
abstraction
aided
analysis
automated
checking
computer
design
fmcad
formal
hardware
logic
methods
model
sat
smt
symbolic
synthesis
systems
using
verification
Formal Methods in Computer-Aided Design (FMCAD)
Editions
Publications
Viewing Publication 1 - 100 from 750
2023
Local Search and Its Application in CDCL/CDCL(T) solvers for SAT/SMT
Shaowei Cai 0001
.
FMCAD 2023
:
1
[doi]
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning
Haoze Wu 0001
,
Christopher Hahn
,
Florian Lonsing
,
Makai Mann
,
Raghuram Ramanujan
,
Clark W. Barrett
.
FMCAD 2023
:
1-11
[doi]
Local Search For SMT On Linear and Multi-linear Real Arithmetic
Bohan Li 0002
,
Shaowei Cai 0001
.
FMCAD 2023
:
1-10
[doi]
Formally Explaining Neural Networks within Reactive Systems
Shahaf Bassan
,
Guy Amir
,
Davide Corsi
,
Idan Refaeli
,
Guy Katz
.
FMCAD 2023
:
1-13
[doi]
Automating Cutoff-based Verification of Distributed Protocols
Shreesha G. Bhat
,
Kartik Nagar
.
FMCAD 2023
:
75-85
[doi]
Reasoning about Quantifiers in SMT: The QSMA algorithm
Maria Paola Bonacina
.
FMCAD 2023
:
1
[doi]
Verified Encodings for SAT Solvers
Cayden R. Codel
,
Jeremy Avigad
,
Marijn J. H. Heule
.
FMCAD 2023
:
141-151
[doi]
Datapath Verification via Word-Level E-Graph Rewriting
Samuel Coward
,
Emiliano Morini
,
Bryan Tan
,
Theo Drane
,
George A. Constantinides
.
FMCAD 2023
:
92-100
[doi]
Formal Verification of Correctness and Information Flow Security for an In-Order Pipelined Processor
Ning Dong
,
Roberto Guanciale
,
Mads Dam
,
Andreas Lööw
.
FMCAD 2023
:
247-256
[doi]
DelBugV: Delta-Debugging Neural Network Verifiers
Raya Elsaleh
,
Guy Katz
.
FMCAD 2023
:
34-43
[doi]
SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols
Katalin Fazekas
,
Aman Goel
,
Karem A. Sakallah
.
FMCAD 2023
:
152-161
[doi]
A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts
Nikson Bernardes Fernandes Ferreira
,
Mariano M. Moscato
,
Laura Titolo
,
Mauricio Ayala-Rincón
.
FMCAD 2023
:
237-246
[doi]
BIG Backbones
Nils Froleyks
,
Emily Yu
,
Armin Biere
.
FMCAD 2023
:
162-167
[doi]
Modelling and Verification of Security-Oriented Resource Partitioning Schemes
Adwait Godbole
,
Leiqi Ye
,
Yatin A. Manerkar
,
Sanjit A. Seshia
.
FMCAD 2023
:
268-273
[doi]
The FMCAD 2023 Student Forum
Mikolas Janota
,
Nina Narodytska
.
FMCAD 2023
:
1-2
[doi]
Proofs for Incremental SAT with Inprocessing
Benjamin Kiesl-Reiter
,
Michael W. Whalen
.
FMCAD 2023
:
132-140
[doi]
Formal Methods for Trused AI
Bettina Könighofer
.
FMCAD 2023
:
1
[doi]
Lift-off: Trustworthy ARMv8 semantics from formal specifications
Kait Lam
,
Nicholas Coughlin
.
FMCAD 2023
:
274-283
[doi]
CRV: Automated Cyber-Resiliency Reasoning for System Design Models
Daniel Larraz
,
Robert Lorch
,
Moosa Yahyazadeh
,
M. Fareed Arif
,
Omar Chowdhury
,
Cesare Tinelli
.
FMCAD 2023
:
209-220
[doi]
Optimal Bounded Partial Order Reduction
Iason Marmanis
,
Viktor Vafeiadis
.
FMCAD 2023
:
86-91
[doi]
Distribution Testing: The New Frontier for Formal Methods
Kuldeep S. Meel
.
FMCAD 2023
:
2
[doi]
Towards a Correct-by-Construction Design of Integrated Modular Avionics
Baoluo Meng
,
Joyanta Debnath
,
Sarat Chandra Varanasi
,
Emmanuel Manoloios
,
Michael Durling
,
Saswata Paul
,
Daniel Prince
,
Saif Alsabbagh
,
Richard Haadsma
,
Craig McMillan
,
Chi Zhang
,
Tim Oates 0001
.
FMCAD 2023
:
221-227
[doi]
A Procedure for SyGuS Solution Fitting via Matching and Rewrite Rule Discovery
Abdalrhman Mohamed
,
Andrew Reynolds 0001
,
Clark W. Barrett
,
Cesare Tinelli
.
FMCAD 2023
:
189-198
[doi]
Formal Methods in Computer-Aided Design, FMCAD 2023, Ames, IA, USA, October 24-27, 2023
Alexander Nadel
,
Kristin Yvonne Rozier
, editors,
IEEE,
2023.
[doi]
Modular System Synthesis
Kanghee Park
,
Keith J. C. Johnson
,
Loris D'Antoni
,
Thomas W. Reps
.
FMCAD 2023
:
257-267
[doi]
Binary Decision Diagrams on Modern Hardware
Samuel Pastva
,
Thomas A. Henzinger
.
FMCAD 2023
:
122-131
[doi]
Conformance Testing for Stochastic Cyber-Physical Systems
Xin Qin
,
Navid Hashemi
,
Lars Lindemann
,
Jyotirmoy V. Deshmukh
.
FMCAD 2023
:
294-305
[doi]
Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community
Kristin Y. Rozier
,
Natarajan Shankar
,
Cesare Tinelli
,
Moshe Y. Vardi
.
FMCAD 2023
:
1
[doi]
Sylvia: Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs
Kaki Ryan
,
Cynthia Sturton
.
FMCAD 2023
:
110-121
[doi]
MediK: Towards Safe Guideline-based Clinical Decision Support
Manasvi Saxena
,
Shuang Song
,
Lui Sha
.
FMCAD 2023
:
306-317
[doi]
MiniZinc for Formal Methods
Peter J. Stuckey
.
FMCAD 2023
:
1
[doi]
NASA's core Flight System Framework Overview
David Swartwout
.
FMCAD 2023
:
1
[doi]
BTOR2MLIR: A Format and Toolchain for Hardware Verification
Joseph Tafese
,
Isabel Garcia-Contreras
,
Arie Gurfinkel
.
FMCAD 2023
:
55-63
[doi]
Cycle and Commute: Rare-Event Probability Verification for Chemical Reaction Networks
Landon Taylor
,
Bryant Israelsen
,
Zhen Zhang 0006
.
FMCAD 2023
:
284-293
[doi]
Data-Driven Learning of Strong Conjunctive Invariants
Arkesh Thakkar
,
Deepak D'Souza
.
FMCAD 2023
:
1-11
[doi]
μARCHIFI: Formal Modeling and Verification Strategies for Microarchitectural Fault Injections
Simon Tollec
,
Mihail Asavoae
,
Damien Couroussé
,
Karine Heydemann
,
Mathieu Jan
.
FMCAD 2023
:
101-109
[doi]
Partitioning Strategies for Distributed SMT Solving
Amalee Wilson
,
Andres Nötzli
,
Andrew Reynolds 0001
,
Byron Cook
,
Cesare Tinelli
,
Clark W. Barrett
.
FMCAD 2023
:
199-208
[doi]
Towards Compositional Hardware Model Checking Certification
Emily Yu
,
Nils Froleyks
,
Armin Biere
,
Keijo Heljanko
.
FMCAD 2023
:
1-11
[doi]
Fortis: A Tool for Analysis and Repair of Robust Software Systems
Changjian Zhang
,
Ian Dardik
,
Rômulo Meira-Góes
,
David Garlan
,
Eunsuk Kang
.
FMCAD 2023
:
1-9
[doi]
Mariposa: Measuring SMT Instability in Automated Program Verification
Yi Zhou
,
Jay Bosamiya
,
Yoshiki Takashima
,
Jessica Li
,
Marijn Heule
,
Bryan Parno
.
FMCAD 2023
:
178-188
[doi]
2021
Formal Methods in Computer Aided Design, FMCAD 2021, New Haven, CT, USA, October 19-22, 2021
IEEE,
2021.
[doi]
Towards Scalable Verification of Deep Reinforcement Learning
Guy Amir
,
Michael Schapira
,
Guy Katz
.
FMCAD 2021
:
193-203
[doi]
On Decomposition of Maximal Satisfiable Subsets
Jaroslav Bendík
.
FMCAD 2021
:
212-221
[doi]
Robustness between Weak Memory Models
Soham Chakraborty
.
FMCAD 2021
:
173-182
[doi]
Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition
Saranyu Chattopadhyay
,
Florian Lonsing
,
Luca Piccolboni
,
Deepraj Soni
,
Peng Wei 0004
,
Xiaofan Zhang
,
Yuan Zhou
,
Luca P. Carloni
,
Deming Chen
,
Jason Cong
,
Ramesh Karri
,
Zhiru Zhang
,
Caroline Trippel
,
Clark W. Barrett
,
Subhasish Mitra
.
FMCAD 2021
:
42-52
[doi]
Celestial: A Smart Contracts Verification Framework
Samvid Dharanikota
,
Suvam Mukherjee
,
Chandrika Bhardwaj
,
Aseem Rastogi
,
Akash Lal
.
FMCAD 2021
:
133-142
[doi]
Reactive Synthesis Beyond Realizability
Rayna Dimitrova
.
FMCAD 2021
:
1
[doi]
Refinement-Based Verification of Device-to-Device Information Flow
Ning Dong
,
Roberto Guanciale
,
Mads Dam
.
FMCAD 2021
:
123-132
[doi]
Model Checking AUTOSAR Components with CBMC
Timothee Durand
,
Katalin Fazekas
,
Georg Weissenbacher
,
Jakob Zwirchmayr
.
FMCAD 2021
:
96-101
[doi]
IC3 with Internal Signals
Rohit Dureja
,
Arie Gurfinkel
,
Alexander Ivrii
,
Yakir Vizel
.
FMCAD 2021
:
63-71
[doi]
Single Clause Assumption without Activation Literals to Speed-up IC3
Nils Froleyks
,
Armin Biere
.
FMCAD 2021
:
72-76
[doi]
End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers
Dapeng Gao
,
Tom Melham
.
FMCAD 2021
:
24-33
[doi]
Towards an Automatic Proof of Lamport's Paxos
Aman Goel
,
Karem A. Sakallah
.
FMCAD 2021
:
112-122
[doi]
Designing Samplers is Easy: The Boon of Testers
Priyanka Golia
,
Mate Soos
,
Sourav Chakraborty 0001
,
Kuldeep S. Meel
.
FMCAD 2021
:
222-230
[doi]
COCOALMA: A Versatile Masking Verifier
Vedad Hadzic
,
Roderick Bloem
.
FMCAD 2021
:
1-10
[doi]
Induction with Recursive Definitions in Superposition
Márton Hajdú
,
Petra Hozzová
,
Laura Kovács
,
Andrei Voronkov
.
FMCAD 2021
:
1-10
[doi]
Lookahead in Partitioning SMT
Antti E. J. Hyvärinen
,
Matteo Marescotti
,
Natasha Sharygina
.
FMCAD 2021
:
271-279
[doi]
Exploiting Isomorphic Subgraphs in SAT
Alexander Ivrii
,
Ofer Strichman
.
FMCAD 2021
:
204-211
[doi]
Fair and Adventurous Enumeration of Quantifier Instantiations
Mikolás Janota
,
Haniel Barbosa
,
Pascal Fontaine
,
Andrew Reynolds 0001
.
FMCAD 2021
:
256-260
[doi]
Logical Characterization of Coherent Uninterpreted Programs
Hari Govind V. K.
,
Sharon Shoham
,
Arie Gurfinkel
.
FMCAD 2021
:
77-85
[doi]
Hardware Security Leak Detection by Symbolic Simulation
Neta Bar Kama
,
Roope Kaivola
.
FMCAD 2021
:
34-41
[doi]
Algorithms for the People
Seny Kamara
.
FMCAD 2021
:
11
[doi]
Dynamic Partial Order Reductions for Spinloops
Michalis Kokologiannakis
,
Xiaowei Ren
,
Viktor Vafeiadis
.
FMCAD 2021
:
163-172
[doi]
The Civl Verifier
Bernhard Kragl
,
Shaz Qadeer
.
FMCAD 2021
:
143-152
[doi]
Mathematical Programming Modulo Strings
Ankit Kumar
,
Panagiotis Manolios
.
FMCAD 2021
:
261-270
[doi]
Stainless Verification System Tutorial
Viktor Kuncak
,
Jad Hamza
.
FMCAD 2021
:
2-7
[doi]
Pruning and Slicing Neural Networks using Formal Verification
Ori Lahav
,
Guy Katz
.
FMCAD 2021
:
1-10
[doi]
Data-driven Optimization of Inductive Generalization
Nham Le
,
Xujie Si
,
Arie Gurfinkel
.
FMCAD 2021
:
86-95
[doi]
From Viewstamped Replication to Blockchains
Barbara Liskov
.
FMCAD 2021
:
1
[doi]
Formal Methods for the Security Analysis of Smart Contracts
Matteo Maffei
.
FMCAD 2021
:
1-2
[doi]
SAT Solving in the Serverless Cloud
Alex Ozdemir
,
Haoze Wu 0001
,
Clark W. Barrett
.
FMCAD 2021
:
241-245
[doi]
A Multithreaded Vampire with Shared Persistent Grounding
Michael Rawson
,
Giles Reger
.
FMCAD 2021
:
280-284
[doi]
The FMCAD 2021 Student Forum
Mark Santolucito
.
FMCAD 2021
:
1
[doi]
Engineering with Full-scale Formal Architecture: Morello, CHERI, Armv8-A, and RISC-V
Peter Sewell
.
FMCAD 2021
:
12
[doi]
Sound and Automated Verification of Real-World RTL Multipliers
Mertcan Temel
,
Warren A. Hunt
.
FMCAD 2021
:
53-62
[doi]
Synthesizing Pareto-Optimal Interpretations for Black-Box Models
Hazem Torfah
,
Shetal Shah
,
Supratik Chakraborty
,
S. Akshay 0001
,
Sanjit A. Seshia
.
FMCAD 2021
:
153-162
[doi]
Automating System Configuration
Nestan Tsiskaridze
,
Maxwell Strange
,
Makai Mann
,
Kavya Sreedhar
,
Qiaoyi Liu
,
Mark Horowitz
,
Clark W. Barrett
.
FMCAD 2021
:
102-111
[doi]
#
Frits W. Vaandrager
.
FMCAD 2021
:
1
[doi]
SAT-Inspired Eliminations for Superposition
Petar Vukmirovic
,
Jasmin Blanchette
,
Marijn J. H. Heule
.
FMCAD 2021
:
231-240
[doi]
2020
2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020
IEEE,
2020.
[doi]
Incremental Verification by SMT-based Summary Repair
Sepideh Asadi
,
Martin Blicha
,
Antti E. J. Hyvärinen
,
Grigory Fedyukovich
,
Natasha Sharygina
.
FMCAD 2020
:
77-82
[doi]
Tutorial on World-Level Model Checking
Armin Biere
.
FMCAD 2020
:
1
[doi]
Selecting Stable Safe Configurations for Systems Modelled by Neural Networks with ReLU Activation
Franz Brauße
,
Zurab Khasidashvili
,
Konstantin Korovin
.
FMCAD 2020
:
119-127
[doi]
EUFicient Reachability in Software with Arrays
Denis Bueno
,
Arlen Cox
,
Karem A. Sakallah
.
FMCAD 2020
:
57-66
[doi]
Using model checking tools to triage the severity of security bugs in the Xen hypervisor
Byron Cook
,
Björn Döbel
,
Daniel Kroening
,
Norbert Manthey
,
Martin Pohlack
,
Elizabeth Polgreen
,
Michael Tautschnig
,
Pawel Wieczorkiewicz
.
FMCAD 2020
:
185-193
[doi]
Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration
Rohit Dureja
,
Jason Baumgartner
,
Robert Kanzelman
,
Mark Williams
,
Kristin Y. Rozier
.
FMCAD 2020
:
16-25
[doi]
Effective System Level Liveness Verification
Alexander Fedotov
,
Jeroen J. A. Keiren
,
Julien Schmaltz
.
FMCAD 2020
:
7-15
[doi]
Runtime Verification on FPGAs with LTLf Specifications
Tommy Tracy II
,
Lucas M. Tabajara
,
Moshe Y. Vardi
,
Kevin Skadron
.
FMCAD 2020
:
36-46
[doi]
Switss: Computing Small Witnessing Subsystems
Simon Jantsch
,
Hans Harder
,
Florian Funke 0002
,
Christel Baier
.
FMCAD 2020
:
236-244
[doi]
The Proof Checkers Pacheck and Pastèque for the Practical Algebraic Calculus
Daniela Kaufmann
,
Mathias Fleury
,
Armin Biere
.
FMCAD 2020
:
264-269
[doi]
Model Checking Software-Defined Networks with Flow Entries that Time Out
Vasileios Klimis
,
George Parisis
,
Bernhard Reus
.
FMCAD 2020
:
179-184
[doi]
Formal Verification for Natural and Engineered Biological Systems
Hillel Kugler
.
FMCAD 2020
:
1
[doi]
Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
Vincent Liew
,
Paul Beame
,
Jo Devriendt
,
Jan Elffers
,
Jakob Nordström
.
FMCAD 2020
:
194-204
[doi]
Anytime Algorithms for MaxSAT and Beyond
Alexander Nadel
.
FMCAD 2020
:
1
[doi]
On Optimizing a Generic Function in SAT
Alexander Nadel
.
FMCAD 2020
:
205-213
[doi]
Smart Induction for Isabelle/HOL (Tool Paper)
Yutaka Nagashima
.
FMCAD 2020
:
245-254
[doi]
Ternary Propagation-Based Local Search for more Bit-Precise Reasoning
Aina Niemetz
,
Mathias Preiner
.
FMCAD 2020
:
214-224
[doi]
Automating Modular Verification of Secure Information Flow
Lauren Pick
,
Grigory Fedyukovich
,
Aarti Gupta
.
FMCAD 2020
:
158-168
[doi]
The FMCAD 2020 Student Forum
Peter Schrammel
.
FMCAD 2020
:
1
[doi]
How testable is business software?
Peter Schrammel
.
FMCAD 2020
:
1
[doi]
Sign in
or
sign up
to see more results.