Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Daniel Neider, Ivan Gavran |
Learning Linear Temporal Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-10, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Ivrii, Ziv Nevo, Jason Baumgartner |
k-FAIR = k-LIVENESS + FAIR Revisiting SAT-based Liveness Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-5, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar |
Template-Based Verification of Heap-Manipulating Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-9, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-11, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Rebola-Pardo, Luís Cruz-Filipe |
Complete and Efficient DRAT Proof Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-9, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard K. Aichernig, Roderick Bloem, Masoud Ebrahimi 0002, Martin Tappler, Johannes Winter |
Automata Learning for Symbolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-9, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-9, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-10, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Grigory Fedyukovich, Sumanth Prabhu 0001, Kumar Madhukar, Aarti Gupta |
Solving Constrained Horn Clauses Using Syntax and Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-9, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi |
Functional Synthesis via Input-Output Separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-9, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Julien Brunel, David Chemouil, Jeanne Tawa |
Analyzing the Fundamental Liveness Property of the Chord Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-9, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Oded Padon |
Deductive Verification of Distributed Protocols in First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dejan Jovanovic, Andrew Reynolds 0001 |
The FMCAD 2018 Graduate Student Forum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-9, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Griggio, Marco Roveri, Stefano Tonetta |
Certifying Proofs for LTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-9, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-10, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![IEEE, 978-0-9835678-8-2 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Thomas Pani, Georg Weissenbacher, Florian Zuleger |
Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-9, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Peter Backeman, Philipp Rümmer, Aleksandar Zeljic |
Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-10, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hossein Hojjat, Philipp Rümmer |
The ELDARICA Horn Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-7, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Cadek, Clemens Danninger, Moritz Sinn, Florian Zuleger |
Using Loop Bound Analysis For Invariant Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-9, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-9, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-9, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018, pp. 1-10, 2018, IEEE, 978-0-9835678-8-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Murphy Berzish, Vijay Ganesh, Yunhui Zheng |
Z3str3: A string solver with theory-aware heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 55-59, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Byron Cook |
Automated formal reasoning about AWS systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 7, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Ritirc, Armin Biere, Manuel Kauers |
Column-wise verification of multipliers using computer algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 23-30, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yakir Vizel, Alexander Nadel, Sharad Malik |
Solving linear arithmetic with SAT-based model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 47-54, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rashmi Mudduluru, Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer |
Lasso detection using partial-state caching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 84-91, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Havelund, Doron Peled, Dogan Ulus |
First order temporal logic monitoring with BDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 116-123, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Cas Cremers |
Symbolic security analysis using the Tamarin prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 5, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 92-99, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík |
Sampling invariants from frequency distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 100-107, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 39-46, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Marescotti, Arie Gurfinkel, Antti Eero Johannes Hyvärinen, Natasha Sharygina |
Designing parallel PDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 156-163, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng |
Safety verification of phaser programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 68-75, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 140-147, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 60-67, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![IEEE, 978-0-9835678-7-5 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Rohit Dureja, Kristin Yvonne Rozier |
FuseIC3: An algorithm for checking large design spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 164-171, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anastasiia Izycheva, Eva Darulova |
On sound relative error bounds for floating-point arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 15-22, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lucas M. Tabajara, Moshe Y. Vardi |
Factored boolean functional synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 124-131, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | William T. Hallahan, Ennan Zhai, Ruzica Piskac |
Automated repair by example for firewalls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 220-229, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 196-203, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jade Alglave |
Coalition, intrigue, ambush, destruction and pride: Herding cats can be challenging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 6, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Wilfried Steiner |
Formal methods in industrial dependable systems design - The TTTech example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 8, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 76-83, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Arie Gurfinkel, Alexander Ivrii |
K-induction without unrolling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 148-155, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yen-Sheng Ho, Alan Mishchenko, Robert K. Brayton |
Property directed reachability with word-level abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 132-139, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kyungmin Bae, Sicun Gao |
Modular SMT-based analysis of nonlinear hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 180-187, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Armin Biere, Tom van Dijk, Keijo Heljanko |
Hardware model checking competition 2017. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 9, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 176-179, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Freek Verbeek, Nike van Vugt |
Estimating worst-case latency of on-chip interconnects with formal simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 204-211, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 212-219, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Elaheh Ghassabani, Michael W. Whalen, Andrew Gacek |
Efficient generation of all minimal inductive validity cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 31-38, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tom van Dijk, Robert Wille, Robert Meolic |
Tagged BDDs: Combining reduction rules from different decision diagram types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 108-115, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | M. Ammar Ben Khadra, Dominik Stoffel, Wolfgang Kunz |
goSAT: Floating-point satisfiability as global optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 11-14, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sylvain Conchon, Amit Goel, Sava Krstic, Rupak Majumdar, Mattias Roux |
FAR-Cubicle - A new reachability algorithm for Cubicle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 172-175, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shin'ichiro Matsuo |
How formal analysis and verification add security to blockchain-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 1-4, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Keijo Heljanko |
The FMCAD 2017 graduate student forum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 10, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Sergio Mover, Mirko Sessa |
SMT-based analysis of switching multi-domain linear Kirchhoff networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2017 Formal Methods in Computer Aided Design, FMCAD 2017, Vienna, Austria, October 2-6, 2017, pp. 188-195, 2017, IEEE, 978-0-9835678-7-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 185-192, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 201-204, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hossein Hojjat |
The FMCAD 2016 graduate student forum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 8, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Brian Campbell 0001, Ian Stark |
Extracting behaviour from an executable instruction set model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 33-40, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 25-32, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Christos H. Papadimitriou |
Understanding evolution through algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 2, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 193-200, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dan R. Ghica, Achim Jung |
Categorical semantics of digital circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 41-48, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster |
Optimizing horn solvers for network repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 73-80, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Amr A. R. Sayed-Ahmed, Daniel Große, Mathias Soeken, Rolf Drechsler |
Equivalence checking using Gröbner bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 169-176, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Manish Pandey |
Machine learning and systems for the next frontier in formal verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 4, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Baudart, Timothy Bourke, Marc Pouzet |
Soundness of the quasi-synchronous abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 9-16, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Roderick Bloem, Robert Könighofer, Ingo Pill, Franz Röck |
Synthesizing adaptive test strategies from temporal logic specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 17-24, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alain Mebsout, Cesare Tinelli |
Proof certificates for SMT-based model checkers for infinite-state systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 117-124, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ofer Guthmann, Ofer Strichman, Anna Trostanetski |
Minimal unsatisfiable core extraction for SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 57-64, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alastair Reid 0001 |
Trustworthy specifications of ARM® v8-A and v8-M system level architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 161-168, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 177-184, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jaideep Ramachandran, Thomas Wahl |
Integrating proxy theories and numeric model lifting for floating-point arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 153-160, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dejan Jovanovic, Bruno Dutertre |
Property-directed k-induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 85-92, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pavol Cerný |
Program synthesis for networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 7, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Eugene Goldberg |
Equivalence checking by logic relaxation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 49-56, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 81-84, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | George Varghese |
Network verification - When Clarke meets Cerf. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 3, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth L. McMillan |
Modular specification and verification of a cache-coherent interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 109-116, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Dawn Song |
Formal verification for computer security: Lessons learned and future directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 1, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 149-152, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Nadel |
Routing under constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 125-132, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Naylor, Simon W. Moore, Alan Mujumdar |
A consistency checker for memory subsystem traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 133-140, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 65-72, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 93-100, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![IEEE, 978-0-9835678-6-8 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Opeoluwa Matthews, Jesse D. Bingham, Daniel J. Sorin |
Verifiable hierarchical protocols with network invariants on parametric systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 101-108, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Markus N. Rabe |
Verifying hyperproperties of hardware systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 5, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pranav Ashar |
A paradigm shift in verification methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 6, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Parízek |
Hybrid partial order reduction with under-approximate dynamic points-to and determinacy information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016, pp. 141-148, 2016, IEEE, 978-0-9835678-6-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2015, Austin, Texas, USA, September 27-30, 2015., pp. 89-96, 2015, IEEE, 978-1-5090-4151-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi 0001, S. Akshay 0001 |
Skolem Functions for Factored Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2015, Austin, Texas, USA, September 27-30, 2015., pp. 73-80, 2015, IEEE, 978-1-5090-4151-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Allan Emerson |
The Genesis and Development of Model Checking: Fact vs. Fiction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2015, Austin, Texas, USA, September 27-30, 2015., pp. 7, 2015, IEEE, 978-1-5090-4151-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Moritz Sinn, Florian Zuleger, Helmut Veith |
Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2015, Austin, Texas, USA, September 27-30, 2015., pp. 144-151, 2015, IEEE, 978-1-5090-4151-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|