License
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.2.11.45
URN: urn:nbn:de:0030-drops-39092
URL: http://drops.dagstuhl.de/opus/volltexte/2013/3909/
Go back to Dagstuhl Reports


Bjorner, Nikolaj ; Chatterjee, Krishnendu ; Kovacs, Laura ; Majumdar, Rupak M.
Weitere Beteiligte (Hrsg. etc.): Nikolaj Bjorner and Krishnendu Chatterjee and Laura Kovacs and Rupak M. Majumdar

Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461)

pdf-format:
dagrep_v002_i011_p045_s12461.pdf (0.7 MB)


Abstract

This report documents the program and the outcomes of the Dagstuhl Seminar 12461 "Games and Decisions for Rigorous Systems Engineering". The seminar brought together researchers working in rigorous software engineering, with a special focus on the interaction between synthesis and automated deduction. This event was the first seminar of this kind and a kickoff of a series of seminars organised on rigorous systems engineering. The theme of the seminar was close in spirit to many events that have been held over the last decades. The talks scheduled during the seminar naturally reflected fundamental research themes of the involved communities.

BibTeX - Entry

@Article{bjorner_et_al:DR:2013:3909,
  author =	{Nikolaj Bjorner and Krishnendu Chatterjee and Laura Kovacs and Rupak M. Majumdar},
  title =	{{Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar 12461)}},
  pages =	{45--65},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{2},
  number =	{11},
  editor =	{Nikolaj Bjorner and Krishnendu Chatterjee and Laura Kovacs and Rupak M. Majumdar},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2013/3909},
  URN =		{urn:nbn:de:0030-drops-39092},
  doi =		{10.4230/DagRep.2.11.45},
  annote =	{Keywords: Systems Engineering, Software Verification, Reactive Synthesis, Automated Deduction}
}

Keywords: Systems Engineering, Software Verification, Reactive Synthesis, Automated Deduction
Seminar: Dagstuhl Reports, Volume 2, Issue 11
Issue Date: 2013
Date of publication: 25.03.2013


DROPS-Home | Fulltext Search | Imprint Published by LZI