Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Daniel Neider, Ivan Gavran |
Learning Linear Temporal Properties. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Ivrii, Ziv Nevo, Jason Baumgartner |
k-FAIR = k-LIVENESS + FAIR Revisiting SAT-based Liveness Algorithms. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar |
Template-Based Verification of Heap-Manipulating Programs. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham |
Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Rebola-Pardo, Luís Cruz-Filipe |
Complete and Efficient DRAT Proof Checking. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi 0002, Martin Tappler, Johannes Winter |
Automata Learning for Symbolic Execution. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hernán Ponce de León, Florian Furbach, Keijo Heljanko, Roland Meyer 0001 |
BMC with Memory Models as Modules. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Heiko Becker, Nikita Zyuzin, Raphaël Monat, Eva Darulova, Magnus O. Myreen, Anthony C. J. Fox |
A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Grigory Fedyukovich, Sumanth Prabhu 0001, Kumar Madhukar, Aarti Gupta |
Solving Constrained Horn Clauses Using Syntax and Data. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi |
Functional Synthesis via Input-Output Separation. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Julien Brunel, David Chemouil, Jeanne Tawa |
Analyzing the Fundamental Liveness Property of the Chord Protocol. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Oded Padon |
Deductive Verification of Distributed Protocols in First-Order Logic. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dejan Jovanovic, Andrew Reynolds 0001 |
The FMCAD 2018 Graduate Student Forum. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Cavada, Alessandro Cimatti, Sergio Mover, Mirko Sessa, Giuseppe Cadavero, Giuseppe Scaglione |
Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Griggio, Marco Roveri, Stefano Tonetta |
Certifying Proofs for LTL Model Checking. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hongce Zhang, Caroline Trippel, Yatin A. Manerkar, Aarti Gupta, Margaret Martonosi, Sharad Malik |
ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaj S. Bjørner, Arie Gurfinkel (eds.) |
2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018 |
FMCAD |
2018 |
DBLP BibTeX RDF |
|
1 | Thomas Pani, Georg Weissenbacher, Florian Zuleger |
Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Peter Backeman, Philipp Rümmer, Aleksandar Zeljic |
Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hossein Hojjat, Philipp Rümmer |
The ELDARICA Horn Solver. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Cadek, Clemens Danninger, Moritz Sinn, Florian Zuleger |
Using Loop Bound Analysis For Invariant Generation. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vikas Rao, Utkarsh Gupta, Irina Ilioaea, Arpitha Srinath, Priyank Kalla, Florian Enescu |
Post-Verification Debugging and Rectification of Finite Field Arithmetic Circuits using Computer Algebra Techniques. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | John Backes, Pauline Bolignano, Byron Cook, Catherine Dodge, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Oksana Tkachuk, Carsten Varming |
Semantic-based Automated Reasoning for AWS Access Policies using SMT. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl |
Expansion-Based QBF Solving Without Recursion. |
FMCAD |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Murphy Berzish, Vijay Ganesh, Yunhui Zheng |
Z3str3: A string solver with theory-aware heuristics. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Byron Cook |
Automated formal reasoning about AWS systems. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Ritirc, Armin Biere, Manuel Kauers |
Column-wise verification of multipliers using computer algebra. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yakir Vizel, Alexander Nadel, Sharad Malik |
Solving linear arithmetic with SAT-based model checking. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer |
Lasso detection using partial-state caching. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, Doron Peled, Dogan Ulus |
First order temporal logic monitoring with BDDs. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Cas Cremers |
Symbolic security analysis using the Tamarin prover. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Matthew S. Bauer, Umang Mathur 0001, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 |
Exact quantitative probabilistic model checking through rational search. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík |
Sampling invariants from frequency distributions. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Alt, Antti Eero Johannes Hyvärinen, Sepideh Asadi, Natasha Sharygina |
Duality-based interpolation for quantifier-free equalities and uninterpreted functions. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Marescotti, Arie Gurfinkel, Antti Eero Johannes Hyvärinen, Natasha Sharygina |
Designing parallel PDR. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng |
Safety verification of phaser programs. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ryan Berryhill, Alexander Ivrii, Neil Veira, Andreas G. Veneris |
Learning support sets in IC3 and Quip: The good, the bad, and the ugly. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Christopher J. Banks, Marco Elver, Ruth Hoffmann, Susmit Sarkar, Paul B. Jackson, Vijay Nagarajan |
Verification of a lazy cache coherence protocol against a weak memory model. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daryl Stewart, Georg Weissenbacher (eds.) |
2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017 |
FMCAD |
2017 |
DBLP BibTeX RDF |
|
1 | Rohit Dureja, Kristin Yvonne Rozier |
FuseIC3: An algorithm for checking large design spaces. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anastasiia Izycheva, Eva Darulova |
On sound relative error bounds for floating-point arithmetic. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lucas M. Tabajara, Moshe Y. Vardi |
Factored boolean functional synthesis. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | William T. Hallahan, Ennan Zhai, Ruzica Piskac |
Automated repair by example for firewalls. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Peter Deifel, Merlin Göttlinger, Stefan Milius, Lutz Schröder, Christian Dietrich 0001, Daniel Lohmann |
Automatic verification of application-tailored OSEK kernels. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jade Alglave |
Coalition, intrigue, ambush, destruction and pride: Herding cats can be challenging. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wilfried Steiner |
Formal methods in industrial dependable systems design - The TTTech example. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yu-Fang Chen 0001, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer |
Learning to prove safety over parameterised concurrent systems. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Arie Gurfinkel, Alexander Ivrii |
K-induction without unrolling. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yen-Sheng Ho, Alan Mishchenko, Robert K. Brayton |
Property directed reachability with word-level abstraction. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kyungmin Bae, Sicun Gao |
Modular SMT-based analysis of nonlinear hybrid systems. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Armin Biere, Tom van Dijk, Keijo Heljanko |
Hardware model checking competition 2017. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tamás Tóth, Ákos Hajdu, András Vörös 0001, Zoltán Micskei, István Majzik |
Theta: A framework for abstraction refinement-based model checking. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Freek Verbeek, Nike van Vugt |
Estimating worst-case latency of on-chip interconnects with formal simulation. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil |
Parameterized verification of algorithms for oblivious robots on a ring. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Elaheh Ghassabani, Michael W. Whalen, Andrew Gacek |
Efficient generation of all minimal inductive validity cores. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tom van Dijk, Robert Wille, Robert Meolic |
Tagged BDDs: Combining reduction rules from different decision diagram types. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | M. Ammar Ben Khadra, Dominik Stoffel, Wolfgang Kunz |
goSAT: Floating-point satisfiability as global optimization. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux |
FAR-Cubicle - A new reachability algorithm for Cubicle. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shin'ichiro Matsuo |
How formal analysis and verification add security to blockchain-based systems. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Keijo Heljanko |
The FMCAD 2017 graduate student forum. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Sergio Mover, Mirko Sessa |
SMT-based analysis of switching multi-domain linear Kirchhoff networks. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Singh 0002, Armando Solar-Lezama |
SWAPPER: A framework for automatic generation of formula simplifiers based on conditional rewrite rules. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tomoya Yamaguchi 0001, Tomoyuki Kaga, Alexandre Donzé, Sanjit A. Seshia |
Combining requirement mining, software model checking and simulation-based verification for industrial automotive systems. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hossein Hojjat |
The FMCAD 2016 graduate student forum. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Brian Campbell 0001, Ian Stark |
Extracting behaviour from an executable instruction set model. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto |
Reducing interpolant circuit size by ad-hoc logic synthesis and SAT-based weakening. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christos H. Papadimitriou |
Understanding evolution through algorithms. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ermenegildo Tomasco, Truc L. Nguyen, Omar Inverso, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato |
Lazy sequentialization for TSO and PSO via shared memory abstractions. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dan R. Ghica, Achim Jung |
Categorical semantics of digital circuits. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster |
Optimizing horn solvers for network repair. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Amr A. R. Sayed-Ahmed, Daniel Große, Mathias Soeken, Rolf Drechsler |
Equivalence checking using Gröbner bases. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Manish Pandey |
Machine learning and systems for the next frontier in formal verification. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Baudart, Timothy Bourke, Marc Pouzet |
Soundness of the quasi-synchronous abstraction. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Roderick Bloem, Robert Könighofer, Ingo Pill, Franz Röck |
Synthesizing adaptive test strategies from temporal logic specifications. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alain Mebsout, Cesare Tinelli |
Proof certificates for SMT-based model checkers for infinite-state systems. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ofer Guthmann, Ofer Strichman, Anna Trostanetski |
Minimal unsatisfiable core extraction for SMT. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alastair Reid 0001 |
Trustworthy specifications of ARM® v8-A and v8-M system level architecture. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker 0001 |
Accurate ICP-based floating-point reasoning. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jaideep Ramachandran, Thomas Wahl |
Integrating proxy theories and numeric model lifting for floating-point arithmetic. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dejan Jovanovic, Bruno Dutertre |
Property-directed k-induction. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pavol Cerný |
Program synthesis for networks. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Eugene Goldberg |
Equivalence checking by logic relaxation. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Susmit Jha, Vasumathi Raman, Sanjit A. Seshia |
On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | George Varghese |
Network verification - When Clarke meets Cerf. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth L. McMillan |
Modular specification and verification of a cache-coherent interface. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dawn Song |
Formal verification for computer security: Lessons learned and future directions. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David L. Rager, Jo C. Ebergen, Dmitry Nadezhin, Austin Lee, Cuong Kim Chau, Ben Selfridge |
Formal verification of division and square root implementations, an Oracle report. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Nadel |
Routing under constraints. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Naylor, Simon W. Moore, Alan Mujumdar |
A consistency checker for memory subsystem traces. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yen-Sheng Ho, Pankaj Chauhan, Pritam Roy, Alan Mishchenko, Robert K. Brayton |
Efficient uninterpreted function abstraction and refinement for word-level model checking. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Guy Katz, Clark W. Barrett, Cesare Tinelli, Andrew Reynolds 0001, Liana Hadarean |
Lazy proofs for DPLL(T)-based SMT solvers. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ruzica Piskac, Muralidhar Talupur (eds.) |
2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016 |
FMCAD |
2016 |
DBLP BibTeX RDF |
|
1 | Opeoluwa Matthews, Jesse D. Bingham, Daniel J. Sorin |
Verifiable hierarchical protocols with network invariants on parametric systems. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Markus N. Rabe |
Verifying hyperproperties of hardware systems. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pranav Ashar |
A paradigm shift in verification methodology. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Parízek |
Hybrid partial order reduction with under-approximate dynamic points-to and determinacy information. |
FMCAD |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anvesh Komuravelli, Nikolaj S. Bjørner, Arie Gurfinkel, Kenneth L. McMillan |
Compositional Verification of Procedural Programs using Horn Clauses over Integers and Arrays. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi 0001, S. Akshay 0001 |
Skolem Functions for Factored Formulas. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Allan Emerson |
The Genesis and Development of Model Checking: Fact vs. Fiction. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Moritz Sinn, Florian Zuleger, Helmut Veith |
Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs. |
FMCAD |
2015 |
DBLP DOI BibTeX RDF |
|