VORTEX 2018
Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA
Conference Editions
Mon 16 - Sat 21 July 2018, Amsterdam, Netherlands

VORTEX 2018 with ECOOP and ISSTA

Runtime verification (RV) is an approach to software verification which is concerned with monitoring and analysis of software and hardware system executions. Recently, RV has gained more consensus as an effective and promising approach to ensure software reliability, bridging a gap between formal verification, and conventional testing; monitoring a system during runtime execution offers additional opportunities f ...

Sun 18 - Fri 23 June 2017, Barcelona, Spain

VORTEX 2017 with ECOOP 2017

This workshop has been cancelled VORTEX 2017 is the second edition of the ECOOP workshop devoted to runtime verification for object-oriented languages and systems. Runtime verification (RV) is an approach to software verification which consists in monitoring the behaviour of a system by dynamically checking its execution traces against a specification. In recent years RV has gained more and more consensus ...

Mon 18 - Fri 22 July 2016, Rome, Italy

VORTEX 2016 with ECOOP 2016

Welcome to the 1st VORTEX Workshop on Runtime Verification Runtime verification (RV) is an approach to software verification which is concerned with monitoring and analysis of software and hardware system executions. In recent years RV has gained more and more consensus as an effective and promising approach to ensure software reliability, bridging a gap between formal verification, ...