The RV4RISE workshop aims at bringing together researchers and practitioners interested in the problems of detecting, testing, measuring and extracting qualitative and quantitative properties from software, hardware and cyber-physical systems. Topics of interest include (but are not limited to):

  • Specification languages for monitoring and testing
  • Runtime verification and monitoring
  • Black-box and white-box testing
  • Measuring and statistical information gathering
  • Simulation-based verification and parameter synthesis
  • Diagnostics, error localization and repair
  • Combination of static and dynamic analysis
  • Applications and case studies