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


Havelund, Klaus ; Leucker, Martin ; Reger, Giles ; Stolz, Volker
Weitere Beteiligte (Hrsg. etc.): Klaus Havelund and Martin Leucker and Giles Reger and Volker Stolz

A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462)

pdf-format:
dagrep_v007_i011_p059_17462.pdf (2 MB)


Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 17462 "A Shared Challenge in Behavioural Specification". The seminar considered the issue of behavioral specification with a focus on its usage in Runtime Verification. The seminar was motivated by the observations that, whilst the field of Runtime Verification is becoming more mature, there is a lack of common specification language, in the main part due to the rich setting allowing for highly expressive languages. The aim of the Seminar was to shed light on the similarities and differences between the different existing languages, and specifically, suggest directions for future collaboration and research. The seminar consisted of two talk sessions, two working group sessions, and a feedback and reflection session. Working group topics were suggested and agreed in response to points raised in talks. One significant outcome was the proposal of a shared challenge project in which different Runtime Verification approaches can be compared, as outlined in one of the working group reports.

BibTeX - Entry

@Article{havelund_et_al:DR:2018:8671,
  author =	{Klaus Havelund and Martin Leucker and Giles Reger and Volker Stolz},
  title =	{{A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462)}},
  pages =	{59--85},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{11},
  editor =	{Klaus Havelund and Martin Leucker and Giles Reger and Volker Stolz},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2018/8671},
  URN =		{urn:nbn:de:0030-drops-86716},
  doi =		{10.4230/DagRep.7.11.59},
  annote =	{Keywords: behavioural specification, dynamic properties, runtime verification, temporal logic}
}

Keywords: behavioural specification, dynamic properties, runtime verification, temporal logic
Seminar: Dagstuhl Reports, Volume 7, Issue 11
Issue Date: 2018
Date of publication: 28.03.2018


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