default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th FMCAD 2015: Austin, Texas, USA
- Roope Kaivola, Thomas Wahl:
Formal Methods in Computer-Aided Design, FMCAD 2015, Austin, Texas, USA, September 27-30, 2015. IEEE 2015, ISBN 978-1-5090-4151-0 - André Platzer:
Proving Hybrid Systems. FMCAD 2015: 1 - Priyank Kalla:
Formal Verification of Arithmetic Datapaths using Algebraic Geometry and Symbolic Computation. FMCAD 2015: 2 - Roderick Bloem:
Reactive Synthesis. FMCAD 2015: 3 - Isil Dillig:
Abductive Inference and Its Applications in Program Analysis, Verification, and Synthesis. FMCAD 2015: 4 - Ziyad Hanna:
Democratization of Formal Verification with Collective Intelligence. FMCAD 2015: 5 - Sharad Malik
:
Detecting Hardware Trojans: A Tale of Two Techniques. FMCAD 2015: 6 - Allan Emerson:
The Genesis and Development of Model Checking: Fact vs. Fiction. FMCAD 2015: 7 - Georg Weissenbacher:
The FMCAD 2015 Graduate Student Forum. FMCAD 2015: 8 - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine, Yunyun Zhu:
Verification of Cache Coherence Protocols wrt. Trace Filters. FMCAD 2015: 9-16 - Chirag Agarwal, Paul Hylander, Yogesh Mahajan, Jonathan Michelson, Vigyan Singhal:
Compositional Reasoning Gotchas in Practice. FMCAD 2015: 17-24 - Jesse Bingham:
Universal Boolean Functional Vectors. FMCAD 2015: 25-32 - Marc Brockschmidt, Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio:
Compositional Safety Verification with Max-SMT. FMCAD 2015: 33-40 - Dmitry Burlyaev, Pascal Fradet:
Formal Verification of Automatic Circuit Transformations for Fault-Tolerance. FMCAD 2015: 41-48 - Javier Esparza, Philipp J. Meyer:
An SMT-based Approach to Fair Termination Analysis. FMCAD 2015: 49-56 - Azadeh Farzan, Zachary Kincaid:
Compositional Recurrence Analysis. FMCAD 2015: 57-64 - Arie Gurfinkel, Alexander Ivrii:
Pushing to the Top. FMCAD 2015: 65-72 - Ajith K. John, Shetal Shah, Supratik Chakraborty, Ashutosh Trivedi, S. Akshay:
Skolem Functions for Factored Formulas. FMCAD 2015: 73-80 - Guy Katz, Clark W. Barrett, David Harel:
Theory-Aided Model Checking of Concurrent Transition Systems. FMCAD 2015: 81-88 - 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: 89-96 - Tim Lange, Martin R. Neuhäußer, Thomas Noll:
IC3 Software Model Checking on Control Flow Automata. FMCAD 2015: 97-104 - Kumar Madhukar, Björn Wachter, Daniel Kroening, Matt Lewis, Mandayam K. Srivas:
Accelerating Invariant Generation. FMCAD 2015: 105-111 - Cristian Mattarei, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Kristin Y. Rozier:
Comparing Different Functional Allocations in Automated Air Traffic Control Design. FMCAD 2015: 112-119 - Yuri Meshman, Noam Rinetzky, Eran Yahav:
Pattern-based Synthesis of Synchronization for the C++ Memory Model. FMCAD 2015: 120-127 - Mathias Preiner, Aina Niemetz, Armin Biere:
Better Lemmas with Lambda Extraction. FMCAD 2015: 128-135 - Markus N. Rabe, Leander Tentrup:
CAQE: A Certifying QBF Solver. FMCAD 2015: 136-143 - Moritz Sinn, Florian Zuleger, Helmut Veith:
Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs. FMCAD 2015: 144-151 - Mathias Soeken, Baruch Sterin, Rolf Drechsler, Robert K. Brayton:
Simulation Graphs for Reverse Engineering. FMCAD 2015: 152-159 - Pramod Subramanyan, Yakir Vizel, Sayak Ray, Sharad Malik:
Template-based Synthesis of Instruction-Level Abstractions for SoC Verification. FMCAD 2015: 160-167 - Murali Talupur, Sandip Ray, John Erickson:
Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols. FMCAD 2015: 168-175
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-05-15 23:23 CEST 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:
