Formal verification is of crucial significance in the development of hardware and software systems. In the last few years, tremendous progress was made in both the speed and capacity of constraint technology. Most notably, SAT solvers have become orders of magnitude faster and capable of handling problems that are orders of magnitude bigger, thus enabling the formal verification of more complex computer systems. As a result, the formal verification of hardware and software has become a promising area for research and industrial applications.
The main goals of the Constraints in Formal Verification workshop are to bring together researchers from the CSP/SAT and the formal verification communities, to describe new applications of constraint technology to formal verification, to disseminate new challenging problem instances, and to propose new dedicated algorithms for hard formal verification problems.
This workshop will be of interest to researchers from both academia and industry, working on constraints or on formal verification and interested in the application of constraints to formal verification.
The scope of the workshop includes topics related to the application of constraint technology to formal verification, namely:
The workshop is scheduled for a full day on July 16, 2007. It will be structured to allow ample time for discussion and demonstration of new tools and new problem instances.
Submissions should be in the LNCS format and in one of the following types:
Workshop papers should be submitted electronically in pdf format. Papers should be formatted using the Lecture Notes in Computer Science (LNCS) style.
Paper submissions should be e-mailed to the workshop chair at:
The important dates for the workshop are as follows:
Alessandro Cimatti, ITC-IRST, Italy
Ulfar Erlingsson, Microsoft Research, Silicon Valley, U.S.A.
Armin Biere, Johannes Kepler University, Austria
Roderick Bloem, Graz University of Technology, Austria
Louise Dennis, University of Liverpool, U.K.
Masahiro Fujita, University of Tokyo, Japan
Priyank Kalla, University of Utah, U.S.A.
Oliver Kullmann, Swansea University, U.K.
Wolfgang Kunz, Technical University of Kaiserslautern, Germany
Marius Minea, "Politehnica" University of Timisoara, Romania
John Moondanos, Intel, U.S.A.
Andreas Veneris, University of Toronto, Canada
Chao Wang, NEC Research Labs, U.S.A.
Li-C. Wang, University of Santa Barbara, U.S.A.