- 2017
- Jade Alglave:
Coalition, intrigue, ambush, destruction and pride: Herding cats can be challenging. FMCAD 2017: 6 - Leonardo Alt, Antti Eero Johannes Hyvärinen, Sepideh Asadi
, Natasha Sharygina
:
Duality-based interpolation for quantifier-free equalities and uninterpreted functions. FMCAD 2017: 39-46 - Kyungmin Bae, Sicun Gao:
Modular SMT-based analysis of nonlinear hybrid systems. FMCAD 2017: 180-187 - 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: 60-67 - Matthew S. Bauer, Umang Mathur
, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Exact quantitative probabilistic model checking through rational search. FMCAD 2017: 92-99 - 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: 140-147 - Murphy Berzish, Vijay Ganesh
, Yunhui Zheng:
Z3str3: A string solver with theory-aware heuristics. FMCAD 2017: 55-59 - Armin Biere
, Tom van Dijk
, Keijo Heljanko
:
Hardware model checking competition 2017. FMCAD 2017: 9 - Yu-Fang Chen, Chih-Duo Hong
, Anthony W. Lin
, Philipp Rümmer:
Learning to prove safety over parameterised concurrent systems. FMCAD 2017: 76-83 - Alessandro Cimatti, Sergio Mover, Mirko Sessa
:
SMT-based analysis of switching multi-domain linear Kirchhoff networks. FMCAD 2017: 188-195 - Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux:
FAR-Cubicle - A new reachability algorithm for Cubicle. FMCAD 2017: 172-175 - Byron Cook:
Automated formal reasoning about AWS systems. FMCAD 2017: 7 - Cas Cremers:
Symbolic security analysis using the Tamarin prover. FMCAD 2017: 5 - Hans-Peter Deifel, Merlin Göttlinger
, Stefan Milius, Lutz Schröder
, Christian Dietrich
, Daniel Lohmann
:
Automatic verification of application-tailored OSEK kernels. FMCAD 2017: 196-203 - Tom van Dijk
, Robert Wille, Robert Meolic:
Tagged BDDs: Combining reduction rules from different decision diagram types. FMCAD 2017: 108-115 - Rohit Dureja
, Kristin Yvonne Rozier:
FuseIC3: An algorithm for checking large design spaces. FMCAD 2017: 164-171 - Grigory Fedyukovich
, Samuel J. Kaufman, Rastislav Bodík:
Sampling invariants from frequency distributions. FMCAD 2017: 100-107 - Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng:
Safety verification of phaser programs. FMCAD 2017: 68-75 - Elaheh Ghassabani, Michael W. Whalen, Andrew Gacek:
Efficient generation of all minimal inductive validity cores. FMCAD 2017: 31-38 - Arie Gurfinkel
, Alexander Ivrii:
K-induction without unrolling. FMCAD 2017: 148-155 - William T. Hallahan
, Ennan Zhai
, Ruzica Piskac
:
Automated repair by example for firewalls. FMCAD 2017: 220-229 - Klaus Havelund, Doron Peled, Dogan Ulus
:
First order temporal logic monitoring with BDDs. FMCAD 2017: 116-123 - Keijo Heljanko
:
The FMCAD 2017 graduate student forum. FMCAD 2017: 10 - Yen-Sheng Ho, Alan Mishchenko, Robert K. Brayton:
Property directed reachability with word-level abstraction. FMCAD 2017: 132-139 - Anastasiia Izycheva, Eva Darulova
:
On sound relative error bounds for floating-point arithmetic. FMCAD 2017: 15-22 - M. Ammar Ben Khadra, Dominik Stoffel, Wolfgang Kunz:
goSAT: Floating-point satisfiability as global optimization. FMCAD 2017: 11-14 - Matteo Marescotti, Arie Gurfinkel
, Antti Eero Johannes Hyvärinen, Natasha Sharygina
:
Designing parallel PDR. FMCAD 2017: 156-163 - Shin'ichiro Matsuo:
How formal analysis and verification add security to blockchain-based systems. FMCAD 2017: 1-4 - Rashmi Mudduluru, Pantazis Deligiannis
, Ankush Desai, Akash Lal, Shaz Qadeer:
Lasso detection using partial-state caching. FMCAD 2017: 84-91 - Daniela Ritirc
, Armin Biere
, Manuel Kauers:
Column-wise verification of multipliers using computer algebra. FMCAD 2017: 23-30