Introduction
DIFTS (Design and Implementation of Formal Tools and Systems) workshop emphasizes insightful experiences in formal tools and systems design. The workshop provides an opportunity for discussing engineering aspects and various design decisions required to put formal tools and systems into practical use. In the past, we have invited speakers who have shared their deep insights and discussed the practices followed in the Industry towards adopting formal methods. It provides a forum for sharing challenges and solutions that are original with ground breaking results.
Call for paper
Important date
Submission Topics
Topics of Interest
DIFTS takes a broad view of the formal tools/systems area, and solicits contributions from domains including, but not restricted to, decision procedures, verification, testing, validation, diagnosis, debugging, and synthesis. This workshop encourages and appreciates system development activities, and facilitates transparency in the experimentation. It will also serve as a platform to discuss open problems and future challenges in practicing formal methods.
All Comments
Important Date
-
Oct 20
2014
Conference Date
-
Aug 04 2014
Abstract Submission Deadline
-
Oct 20 2014
Registration deadline
Sponsored By
IEEE
Contact Information
- Gianpiero Cabodi
- gi******@polito.it
- (+3*********
Submit Comment