Despite the growing popularity of Runtime Verification (RV) in both safety-critical and non-safety-critical applications, few publicly available examples exist of formally-specified systems for RV.  Published examples of system specifications can provide a shared vehicle for researchers and practitioners to discuss the applicability of their ideas, and can assist in comparing the viability of approaches.  The Runtime Verification Case-Studies Workshop (RVCase) is a forum to share and discuss sample applications and their specifications that have been collected by the RV community.  The goal of the workshop is to identify specifications in various formalisms for a range of systems.  The workshop is open to submissions from both researchers and practitioners and aims to include as many examples of systems and their specifications as possible.

Topics of Interest

• Systems to specify
• Specifications for monitoring
• Software instrumentation for monitoring
• Log analysis
• Comparisons of where RV is applicable versus less formal solutions

Submissions

• Extended abstracts 1-2 pages
• Specification and system artifacts are encouraged but not required

Artifacts of Interest

• Models of systems with specifications
• Software with instrumentation and monitoring
• Execution traces with specifications

Venue

The workshop will be held at the Inffeldgasse Campus of the Graz University of Technology in Graz, Austria.  RVCase '25 is co-located with the 25th International Conference on Runtime Verification.

Contact

All questions about submissions should be directed to the organizers:

• Sean Kauffman <sean.k@queensu.ca>
• Klaus Havelund <klaus.havelund@jpl.nasa.gov>