DESIGN and IMPLEMENTATION of FORMAL TOOLS and SYSTEMS, Lausanne, Schweiz

Abbrevation

DIFTS

Link

http://fmgroup.polito.it/cabodi/difts2014/

City

Lausanne

Country

Switzerland

Deadline Paper

2014-08-04

Start Date

2014-10-20

End Date

2014-10-20

Abstract

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. The DIFTS workshop is co–located with FMCAD14 and MEMOCODE14. 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.