Formal methods

Meer over het boek

This volume presents the proceedings of the 13th International Symposium on Formal Methods, held in Newcastle upon Tyne, UK, from July 18-22, 2005. Organized by Formal Methods Europe (FME), an independent association dedicated to promoting research and application of formal methods in system development, the symposium has evolved since its inception in 1987, gathering researchers, tool developers, vendors, and users from academia and industry. Formal Methods 2005 continued this tradition, receiving 130 submissions globally. Each submission underwent rigorous review by at least three reviewers, resulting in the selection of 31 papers for presentation, which constitute the core of this volume. The Program Committee is acknowledged for their diligent work in this process. Additionally, the volume includes abstracts and papers from three keynote lectures delivered by Mathai Joseph, Marie-Claude Gaudel, and Chris Johnson. A notable feature of the FM2005 program was a panel discussion on the history of formal methods, featuring prominent figures such as Jean-Raymond Abrial and Dines Bjørner. While the documentation of this event is not included in the volume, it can be accessed on the conference website.