[CEUR Workshop Proceedings] Vol-832
urn:nbn:de:0074-832-4

Copyright © 2011 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'11
Design and Implementation of Formal Tools and Systems 2011


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

Co-located with FMCAD'11

Austin, USA, November 3, 2011.


Edited by

Malay Ganai *
Armin Biere **

* NEC Labs America, 4 Independence Way, Princeton, NJ, USA
** Johannes Kepler Universität, Altenbergerstr. 69, 4040 Linz, Austria




Table of Contents

    Invited Talks

  1. The Pain of Making Research Tools into Software Products (invited talk, paper not included)
    Andreas Kuehlmann
  2. From Putty to Product: What it takes to bring a Verification Tool to Market (invited talk, paper not included)
    Chris Morrison

    3. Session I: Tools

  3. Enhancing ABC for stabilization verification of SystemVerilog/VHDL models
    Jiang Long, Sayak Ray, Baruch Sterin, Alan Mishchenko, Robert K. Brayton
  4. Data Structure Choices for On-the-Fly Model Checking of Real-Time Systems
    Peter Fontana, Rance Cleaveland
  5. A Study of Sweeping Algorithms in the Context of Model Checking
    Zyad Hassan, Yan Zhang, Fabio Somenzi

    6. Session II: Systems

  6. An Application of Formal Methods to Cognitive Radios
    Konstantine Arkoudas, Ritu Chadha, Jason Chiang
  7. On Incremental Satisfiability and Bounded Model Checking
    Siert Wieringa
  8. metaSMT: Focus on Your Application not on Solver Integration
    Finn Haedicke, Stefan Frehse, Goerschwin Fey, Daniel Grosse, Rolf Drechsler
22-Feb-2012 submitted by Malay Ganai
23-Feb-2012: published on CEUR-WS.org