Paper presented at Runtime Verification Conference

Prof. Domenico Bianculli and Dr. Joshua Dawes from University of Luxembourg co-authored a paper presented at the 21st International Conference on Runtime Verification (RV'21) held virtually on 11-14 October 2021. The paper titled "Specifying Properties over Inter-Procedural, Source Code Level Behaviour of Programs", describes the COSMOS development work to extend the Control-Flow Temporal Logic (CFTL) specification language, which is able to express using a temporal logic properties over source code level behaviour, by introducing Inter-procedural CFTL, a language for expressing source code level, inter-procedural properties of program runs. The paper includes an evaluation of the new language, iCFTL, via application to a real-world case study.