Fri 19 Jul 2019 11:45 - 12:15 at Bouzy - Session 1 Chair(s): Sung-Shik Jongmans

Runtime verification (RV) is a formal software verification technique in which a single execution of the software under scrutiny is checked at runtime, rather than statically verify the whole program. This is usually implemented through an instrumentation layer observing the system execution, and a monitor verifying the correctness of observed events. RML is a domain specific language expressly devised for specification writing in the context of RV: it is a high-level formalism with a rich set of operators and a programmer-friendly syntax. RML is completely system-agnostic, making it suitable for RV of virtually any kind of system. This is possible thanks to the proposed infrastructure in which the monitor (automatically synthesized from the specification) is decoupled from the instrumentation.

Fri 19 Jul

vortex-2019-papers
10:30 - 12:10: VORTEX 2019 - Session 1 at Bouzy
Chair(s): Sung-Shik JongmansOpen University of the Netherlands
vortex-2019-papers10:30 - 11:15
Talk
Giles RegerUniversity of Manchester
vortex-2019-papers11:15 - 11:45
Talk
Eman AldakheelUniversity of Illinois at Chicago & Princess Nourah bint Abdulrahman University, Ugo Buy
Pre-print
vortex-2019-papers11:45 - 12:15
Talk
Luca FranceschiniDIBRIS, University of Genova, Italy
Pre-print