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|