运行时验证（RV）是一种软件验证方法，它通过监视系统（SUS）的单次运行生成的事件跟踪来监控和分析软件和硬件系统的执行。
最近，RV作为一种确保软件可靠性的解决方案，缩小了正式验证和测试之间的差距，获得了更多的共识：一方面，事件跟踪抽象的概念优于SUS执行，从而有利于系统不可知论，以更好地支持重用和互操作性；另一方面，监视SUS为解决错误恢复、自适应和超出软件可靠性的问题提供了更多机会。
VORTEX的目标是将致力于RV覆盖所有方面的研究人员聚集在一起，并可能整合理论和实践方面，特别关注受正式方法和测试启发的混合方法。
文件征集
感兴趣的主题包括但不限于以下主题：
- 监控施工和合成技术
- 节目改编
- 面向监控的编程
- 运行时强制、故障检测、恢复和修复
- 静态和动态分析的结合
- RV规范形式
- 规范挖掘
- 监控并发/分布式系统
- 用于安全和安保的RV
- 物联网房车
- 工业应用
- 集成RV、正式验证和测试
- 工具开发
