Please use this identifier to cite or link to this item:
Title: Towards a hybrid approach to software verification
Authors: Della Monica, Dario
Francalanza, Adrian
Keywords: Computer systems -- Verification
Programming languages (Electronic computers)
Computer algorithms
Issue Date: 2015
Publisher: Reykjavík University. School of Science and Engineering
Citation: Della Monica, D., & Francalanza, A. (2015). Towards a hybrid approach to software verification. 27th Nordic Workshop on Programming Theory, Reykjavík. 51-53.
Abstract: Despite its advantages, RV is limited when compared to MC because certain correctness properties cannot be verified at runtime [5, 10, 15]. For instance, MC makes it possible to check for both safety and liveness properties, by providing either a positive or a negative answer, according to whether the system conforms with the specifications; RV, on the other hand, can only return a positive verdict for certain liveness properties (called co-safety properties [5]) or a negative one for safety conditions. Moreover, RV induces a runtime overhead over the execution of a monitored system, which should ideally be kept to a minimum [14].
ISSN: 16705777
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
nwpt2015.pdf274.14 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.