Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Specifying Properties over Inter-Procedural, Source Code Level Behaviour of Programs
Dawes, Joshua; Bianculli, Domenico
2021In Proceedings of the 21st International Conference on Runtime Verification
Peer reviewed
 

Files


Full Text
main.pdf
Author postprint (229.78 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
dynamic analysis; source code; interprocedural
Abstract :
[en] The problem of verifying a program at runtime with respect to some formal specification has led to the development of a rich collection of specification languages. These languages often have a high level of abstraction and provide sophisticated modal operators, giving a high level of expressiveness. In particular, this makes it possible to express properties concerning the source code level behaviour of programs. However, for many languages, the correspondence between events generated at the source code level and parts of the specification in question would have to be carefully defined. To enable expressing — using a temporal logic — properties over source code level behaviour without the need for this correspondence, previous work introduced Control-Flow Temporal Logic (CFTL), a specification language with a low level of abstraction with respect to the source code of programs. However, this work focused solely on the intra-procedural setting. In this paper, we address this limitation by introducing Inter-procedural CFTL, a language for expressing source code level, inter-procedural properties of program runs. We evaluate the new language, iCFTL, via application to a real-world case study.
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Author, co-author :
Dawes, Joshua ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV
Bianculli, Domenico  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV
External co-authors :
no
Language :
English
Title :
Specifying Properties over Inter-Procedural, Source Code Level Behaviour of Programs
Publication date :
October 2021
Event name :
21st International Conference on Runtime Verification
Event date :
from 11-10-2021 to 14-10-2021
Audience :
International
Main work title :
Proceedings of the 21st International Conference on Runtime Verification
Publisher :
Springer, Cham, Switzerland
ISBN/EAN :
978-3-030-88493-2
978-3-030-88494-9
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
European Projects :
H2020 - 957254 - COSMOS - DevOps for Complex Cyber-physical Systems
Funders :
CE - Commission Européenne [BE]
Available on ORBilu :
since 20 August 2021

Statistics


Number of views
553 (117 by Unilu)
Number of downloads
217 (39 by Unilu)

Scopus citations®
 
1
Scopus citations®
without self-citations
1
OpenCitations
 
2
WoS citations
 
2

Bibliography


Similar publications



Contact ORBilu