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
Times are displayed in time zone: Greenwich Mean Time : Belfast change

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