4th International Workshop on Verification of Objects at Runtime Execution VORTEX 2020

Runtime verification (RV) is an approach to software verification which is concerned with monitoring and analysis of software and hardware system executions by means of the event traces generated from single runs of the system under scrutiny (SUS).

Recently, RV has gained more consensus as a solution to ensure software reliability, bridging the gap between formal verification and testing: on the one hand, the notion of event trace abstracts over SUS executions, thus favoring system agnosticism to better support reuse and interoperability; on the other hand, monitoring a SUS offers more opportunities for addressing error recovery, self-adaptation, and issues that go beyond software reliability.

The goal of VORTEX is to bring together researchers contributing on all aspects of RV covering and possibly integrating both theoretical and practical aspects, with particular focus on hybrid approaches inspired by formal methods and testing.

Call for Papers

Topics of interest include, but are not limited to, the following ones:

• monitor construction and synthesis techniques
• program adaptation
• monitoring oriented programming
• runtime enforcement, fault detection, recovery and repair
• combination of static and dynamic analyses
• specification formalisms of RV
• specification mining
• monitoring concurrent/distributed systems
• RV for safety and security
• RV for the Internet of Things
• industrial applications
• integrating RV, formal verification, and testing
• tool development