Vol-1130
urn:nbn:de:0074-1130-3

Copyright © 2013 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.



DIFTS'13
Design and Implementation of Formal Tools and Systems 2013


Proceedings of the Second International Workshop on Design and Implementation of Formal Tools and Systems

Co-located with FMCAD'13 and MEMOCODE'13

Portland, OR, USA, October 19, 2013.


Edited by

Malay Ganai *
Alper Sen **

* NEC Labs America, Princeton, NJ, USA
** Bogazici University, Istanbul, Turkey




Table of Contents

Invited Talks

  1. Diagnosis and Correction of Buggy Hardware/Software with Formal Approaches (invited talk, paper not included)
    Masahiro Fujita
  2. Approximate Formal Verification using Model-based Testing (invited talk, paper not included)
    Rance Cleaveland
  3. Stimulus Generation, Enhancement, and Debug in Constraint Random Verification (invited talk, paper not included)
    Dhiraj Goswami

Session I: System

  1. Lemmas on Demand for Lambdas
    Mathias Preiner, Aina Niemetz, Armin Biere
  2. Trading-off Incrementality and Dynamic Restart of Multiple Solvers in IC3
    Marco Palena, Gianpiero Cabodi, Alan Mishchenko
  3. LEC: Learning Driven Data-path Equivalence Checking
    Jiang Long, Robert Brayton, Michael Case

Session II: Tools

  1. A Fast Reparameterization Procedure
    Niklas Een, Alan Mishchenko
  2. Abstraction-Based Livelock/Deadlock Checking for Hardware Verification
    In-Ho Moon, Kevin Harer
  3. CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models
    Sonali Dutta, Moshe Y. Vardi, Deian Tabakov
2014-02-24: submitted by Malay Ganai
2014-02-24: published on CEUR-WS.org |valid HTML5|