Case Study Exchange

Runtime verification has a great potential to impact the software industry by providing extra assurance that software behaviour adheres to the corresponding specifications. While runtime verification tools exist, refining and improving them to become more relevant to industry is a constant effort requiring case studies for evaluation and feedback.

This page has the aim of acting as an exchange of case studies: listing completed case studies and advertising projects which are still on the look out for case studies.

Anyone wishing to post a new case study success/request is kindly asked to either edit the page directly (if rights allow) or send it by email to the chairman of WG4 on christian.colombo(a)um.edu.mt.