2026-08-17T00:03:59Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:8671 2024-03-06T10:26:52Z ddc:004 open_access

A Shared Challenge in Behavioural Specification (Dagstuhl Seminar 17462) Havelund, Klaus Leucker, Martin Reger, Giles Stolz, Volker behavioural specification dynamic properties runtime verification temporal logic 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Klaus Havelund and Martin Leucker and Giles Reger and Volker Stolz 2018 Is Part Of Dagstuhl Reports, Volume 7, Issue 11 (2018) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.7.11.59 urn:nbn:de:0030-drops-86716 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.11.59 eng https://creativecommons.org/licenses/by/3.0/legalcode