Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482)

JöRg Kreiker, Andrzej Tarlecki, Moshe Y. Vardi & Reinhard Wilhelm
This manifesto represents the results of the Dagstuhl Perspectives Workshop 10482 "Formal Methods � Just a Euro-Science?" held from November 30 to December 3, 2010 at Schloss Dagstuhl, Germany. We strive to clarify the terminology and categorize the abundance of concepts and methods in order to reduce misunderstandings among the involved research community and in communication with industry. We discuss the industrial acceptance of formal methods and how to increase it by targeted research and...