| CARVIEW |
Select Language
HTTP/1.1 301 Moved Permanently
Server: nginx/1.18.0 (Ubuntu)
Date: Thu, 15 Jan 2026 08:04:31 GMT
Content-Type: text/html
Content-Length: 178
Location: https://ceur-ws.org/Vol-832/
Connection: keep-alive
HTTP/1.1 200 OK
Server: nginx/1.18.0 (Ubuntu)
Date: Thu, 15 Jan 2026 08:04:31 GMT
Content-Type: text/html; charset=utf-8
Last-Modified: Tue, 29 Nov 2022 15:47:20 GMT
Transfer-Encoding: chunked
Connection: keep-alive
ETag: W/"63862988-1050"
Content-Encoding: gzip
CEUR-WS.org/Vol-832 - DIFTS'11: Design and Implementation of Formal Tools and Systems 2011
DIFTS'11
Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems
Co-located with FMCAD'11
Edited by
Malay Ganai *
* NEC Labs America,
4 Independence Way, Princeton, NJ, USA
** Johannes Kepler Universität, Altenbergerstr. 69, 4040 Linz, Austria
22-Feb-2012 submitted by Malay Ganai
23-Feb-2012: published on CEUR-WS.org
![[CEUR Workshop Proceedings]](../CEUR-WS-logo.png){kind=logo}
|
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
-
The Pain of Making Research Tools into Software Products
(invited talk, paper not included)
Andreas Kuehlmann -
From Putty to Product: What it takes to bring a Verification Tool to Market
(invited talk, paper not included)
Chris Morrison -
Enhancing ABC for stabilization verification of SystemVerilog/VHDL models
Jiang Long, Sayak Ray, Baruch Sterin, Alan Mishchenko, Robert K. Brayton -
Data Structure Choices for On-the-Fly Model Checking of Real-Time Systems
Peter Fontana, Rance Cleaveland -
A Study of Sweeping Algorithms in the Context of Model Checking
Zyad Hassan, Yan Zhang, Fabio Somenzi -
An Application of Formal Methods to Cognitive Radios
Konstantine Arkoudas, Ritu Chadha, Jason Chiang -
On Incremental Satisfiability and Bounded Model Checking
Siert Wieringa -
metaSMT: Focus on Your Application not on Solver Integration
Finn Haedicke, Stefan Frehse, Goerschwin Fey, Daniel Grosse, Rolf Drechsler
Invited Talks
Session I: Tools
Session II: Systems
22-Feb-2012 submitted by Malay Ganai
23-Feb-2012: published on CEUR-WS.org