License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagMan.1.1.21
URN: urn:nbn:de:0030-drops-32121
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2011/3212/
Go back to Dagstuhl Manifestos


Kreiker, Jörg ; Tarlecki, Andrzej ; Vardi, Moshe Y. ; Wilhelm, Reinhard
Weitere Beteiligte (Hrsg. etc.): Jörg Kreiker and Andrzej Tarlecki and Moshe Y. Vardi and Reinhard Wilhelm

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

pdf-format:
dagman_v001_i001_p021_10482.pdf (0.6 MB)


Abstract

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 improved education. Finally, we state a few challenges and provide perspectives of the field. This document is opinionated in nature and biased towards the experiences and views of the participants listed in the appendix, further distilled by the authors.

BibTeX - Entry

@Article{kreiker_et_al:DM:2011:3212,
  author =	{J{\"o}rg Kreiker and Andrzej Tarlecki and Moshe Y. Vardi and Reinhard Wilhelm},
  title =	{{Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482)}},
  pages =	{21--40},
  journal =	{Dagstuhl Manifestos},
  ISSN =	{2193-2433},
  year =	{2011},
  volume =	{1},
  number =	{1},
  editor =	{J{\"o}rg Kreiker and Andrzej Tarlecki and Moshe Y. Vardi and Reinhard Wilhelm},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2011/3212},
  URN =		{urn:nbn:de:0030-drops-32121},
  doi =		{10.4230/DagMan.1.1.21},
  annote =	{Keywords: Formal methods, Verification, Analysis, Modeling, Design for Verifiability}
}

Keywords: Formal methods, Verification, Analysis, Modeling, Design for Verifiability
Collection: Dagstuhl Manifestos, Volume 1, Issue 1
Issue Date: 2011
Date of publication: 30.09.2011


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI