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

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
Giles RegerUniversity of Manchester
vortex-2019-papers11:15 - 11:45
Eman AldakheelUniversity of Illinois at Chicago & Princess Nourah bint Abdulrahman University, Ugo Buy
vortex-2019-papers11:45 - 12:15
Luca FranceschiniDIBRIS, University of Genova, Italy