The focus of this journal is on formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. The stimulus for starting a journal with this goal came from both academia and industry. In both areas, interest in the use of formal methods has increased rapidly during the past few years. The enormous cost and time required to validate new designs has led to the realization that more powerful techniques must be developed. A number of techniques and tools are currently being devised for improving the reliability, and robustness of complex hardware and software systems. While the boundary between the (sub)components of a system that are cast in hardware, firmware, or software continues to blur, the relevant design disciplines and formal methods are maturing rapidly. Consequently, an important (and useful) collection of commonly applicable formal methods are expected to emerge that will strongly influence future design environments and design methods.

The journal is an international forum for the dissemination of research related to the application and development of formal methods in both hardware (VLSI) and software system design. Papers describing original work in all aspects of formal methods as they relate to this general area are invited.

Editor-in-Chief:
Daniel Kroening
University of Oxford
Editor-in-Chief Emeritus:
Edmund M. Clarke, Jr.
Carnegie Mellon University
Editorial Board:

Rajeev Alur, University of Pennsylvania; Armin Biere, Johannes Kepler University; Gerard Berry, Esterel Technologies; Ahmed Bouajjani, Université de Paris, Diderot; Robert K. Brayton, University of California, Berkeley; Randal E. Bryant, Carnegie Mellon University; Tim Cheng, University of California, Santa Barbara;Luc Claesen, IMEC/Katholieke Universiteit Leuven/NCTU Hsinchu Taiwan; W. Rance Cleaveland II, University of Maryland; Werner Damm, University of Oldenburg; E. Allen Emerson, University of Texas; Masahiro Fujita, Tokyo University; Steven German, IBM, T.J. Watson Research Center; Ganesh L. Gopalakrishnan, University of Utah; Orna Grumberg, The Technion; Aarti Gupta, Princeton University; Nicolas Halbwachs, VERIMAG/CNRS, Grenoble; Warren A. Hunt Jr., The University of Texas, Austin; Nils Klarlund, Google Inc., New York; Orna Kupferman, Hebrew University; Marta Kwiatkowska, University of Oxford; Kim Larsen, Aalborg University; Insup Lee, University of Pennsylvania; Sharad Malik, Princeton University; Tom F. Melham, University of Oxford; Aloysius K. Mok, University of Texas, Austin; J. Strother Moore, University of Texas, Austin; Chris Myers, University of Utah; Kedar S. Namjoshi, Bell Labs; Andreas Podelski, University of Freiburg; A. Prasad Sistla, University of Illinois, Chicago; Scott A. Smolka, SUNY at Stony Brook; Fabio Somenzi, University of Colorado, Boulder; Colin Stirling, University of Edinburgh; Farn Wang, National Taiwan University; Thomas Wilke, Christian-Albrechts-Universität zu Kiel; Jeannette Wing, Columbia University; Pierre Wolper, Université de Liège; Sergio Yovine, VERIMAG/Centre National de la Recherche Scientifique