default search action

combined dblp search
author search
venue search
publication search

ask others

DIFTS@FMCAD 2013: Portland, OR, USA

> Home > Conferences and Workshops > FMCAD

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/fmcad/2013difts
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/2013difts
Malay K. Ganai, Alper Sen:
Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems, Portland, OR, USA, October 19, 2013. CEUR Workshop Proceedings 1130, CEUR-WS.org 2014

Session I: System

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/fmcad/PreinerNB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/PreinerNB13
Mathias Preiner, Aina Niemetz, Armin Biere:
Lemmas on Demand for Lambdas.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/fmcad/PalenaCM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/PalenaCM13
Marco Palena, Gianpiero Cabodi, Alan Mishchenko:
Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/fmcad/LongBC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/LongBC13
Jiang Long, Robert K. Brayton, Michael L. Case:
LEC: Learning Driven Data-path Equivalence Checking.

Session II: Tools

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/fmcad/EenM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/EenM13
Niklas Eén, Alan Mishchenko:
A Fast Reparameterization Procedure.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/fmcad/MoonH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/MoonH13
In-Ho Moon, Kevin Harer:
Abstraction-Based Livelock/Deadlock Checking for Hardware Verification.
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/fmcad/DuttaVT13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/DuttaVT13
Sonali Dutta, Moshe Y. Vardi, Deian Tabakov:
CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models.

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.