Call for Papers

Formal Methods in System Design

Special Issue on

Parallel and Distributed Methods in Verification


Formal Methods in System Design is seeking original manuscripts for a Special Issue on Parallel and Distributed Methods in Verification, scheduled to be published in February 2006.

The growing importance of automated formal verification in industry is driving a growing interest in those aspects which have a direct impact on its applicability to real world problems. One of the main technical challenges is in devising tools that allow to handle large state spaces. Over the last years numerous approaches have been developed. Recently, an increasing interest is in parallelizing and distributing verification techniques.

Articles for this special issue are solicited that cover all aspects of parallel and distributed methods and techniques for formal verification. Theoretical results, algorithms and case studies are equally welcome.

Topics of interest include, but are not limited to the following:

To simplify the publication process, we have a two step selection process. Authors willing to submit to this special issues are asked to send an extended abstract of about 4 pages describing the intended contribution. We will then select most promising abstracts and will ask the authors to submit a full version. The full version will then undergo a careful review process according to journal standards. Note that acceptance of the abstract does not guarantee acceptance of the full version.

Submitted articles must not have been previously published or currently submitted for journal publication elsewhere. As an author, you are responsible for understanding and adhering to our submission guidelines. Please thoroughly read these before submitting your manuscript. See for details.

Submissions should be sent to

Please feel free to contact the guest editors at or if you have any questions.

Please note the following important dates:

 Abstract Submission Deadline:  Dec. 15, 2004 Reviews of Revisions Completed (if needed):  Aug. 15, 2005
 Invitation to Full Version:  Jan. 1, 2005 Minor Revisions due (if needed):  Aug. 31, 2005
 Manuscript Submission Deadline:  Feb. 28, 2005 Notification of Final Acceptance:  Sep. 7, 2005
 Reviews Completed:  May 30, 2005 Final Manuscripts Due:  Sep. 15, 2005
 Major Revisions Due (if needed):  July 15, 2005 Publication Date:  Feb. 2006

Guest Editors:

Lubos Brim
Masaryk University Brno
brim [at]
tel: +420-549-493 647
Martin Leucker
TU Munich
leucker [at]
tel: +49-89-289 17376