Scope

This special issue is devoted to the scope of two international workshops: the Workshop on Automated Verification of Critical Systems (AVoCS 2006) and the Verification Workshop (VERIFY'06), which took place during September 2006 in Nancy (France) and during August 2006 in Seattle (USA), respectively. Topics of interest include automated verification (abstract interpretation, model checking, theorem proving, ...), formal development methodologies (compositional and modular reasoning, refinement, stepwise development, ...), formal modeling techniques (architectural modeling, behavioral modeling, generic security models, ...), and case studies (academic as well as industrial). Possible application areas include safety-critical, security-critical, and performance-critical systems.

Submission

Submission to this special issue is completely open. We expect original articles (typically 15-30 pages) that present high-quality contributions that have not been previously published in an archival venue and that must not be simultaneously submitted for publication elsewhere. Submissions must comply with FAC's author guidelines, be written in English, and be formatted using LaTeX.

Submission to this special issue are hereby encouraged via the EasyChair submission system. The deadline for submission is July 1st, 2007 (extended).

Guest editors

Useful websites