Write a Blog >>

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 approach to ensure software reliability, bridging the gap between formal verification and testing; monitoring a system at runtime 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 working on all aspects of RV with emphasis on integration with formal verification 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