Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/1578
Appears in Collections:Computing Science and Mathematics Technical Reports
Peer Review Status: Refereed
Title: A Case Study in Integrated Assertion-Based Verification with Omnibus
Authors: Wilson, Thomas
Maharaj, Savi
Clark, Robert
Contact Email: [twi,savi,rgc]@cs.stir.ac.uk
Citation: Wilson T, Maharaj S & Clark R (2009) A Case Study in Integrated Assertion-Based Verification with Omnibus. Technical Report CSM, 176. Department of Computing Science and Mathematics, University of Stirling.
Keywords: static checking
run-time checking
integrated formal methods
object-oriented
Issue Date: Jan-2009
Publisher: Department of Computing Science and Mathematics, University of Stirling
Series/Report no.: Technical Report CSM, 176
Abstract: We present the example of the specification, implementation, and verification of a library system in Omnibus. Three approaches to verification (runtime assertion checking, extended static checking, and full formal verification) are applied to the example, and we compare the ease of use and the error coverage of each approach. We then discuss how the three approaches may be used together within Omnibus in an integrated manner, explain the benefits of this, and show how integration is supported by the Omnibus IDE.
Type: Technical Report
URL: http://www.cs.stir.ac.uk/research/publications/techreps/
URI: http://hdl.handle.net/1893/1578
Affiliation: University of Stirling
Computing Science - CSM Dept
Computing Science - CSM Dept

Files in This Item:
File Description SizeFormat 
A Case Study in Integrated Assertion-Based Verification.pdf592.75 kBAdobe PDFView/Open


This item is protected by original copyright



Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.