Title: Modular, compositional and sound verification of the input/output behavior of programs
Authors: Penninckx, Willem
Jacobs, Bart
Piessens, Frank
Issue Date: May-2014
Publisher: Department of Computer Science, KU Leuven
Series Title: CW Reports vol:CW663
Abstract: We present a sound verification approach for verifying input/output properties of programs. Our approach supports compositionality (you can build high-level I/O actions on top of low-level ones), modularity (you can define and implement input/output actions without taking into account which other actions exist) and other features.
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Informatics Section

Files in This Item:
File Description Status SizeFormat
CW663.pdfDocument Published 326KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.