Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/3679
Appears in Collections:Computing Science and Mathematics Journal Articles
Peer Review Status: Refereed
Title: Flexible and Configurable Verification Policies with Omnibus
Authors: Wilson, Thomas
Maharaj, Savi
Clark, Robert
Contact Email: sma@cs.stir.ac.uk
Issue Date: 2008
Publisher: Springer-Verlag
Citation: Wilson T, Maharaj S & Clark R (2008) Flexible and Configurable Verification Policies with Omnibus, Software and Systems Modeling, 7 (3), pp. 257-272.
Abstract: The three main assertion-based verification approaches are: run-time assertion checking(RAC), extended static checking (ESC) and full formal verification (FFV). Each approach offers a different balance between rigour and ease of use, making them appropriate in different situations. Our goal is to explore the use of these approaches together in a flexible way, enabling an application to be broken down into parts with different reliability requirements and different verification approaches used in each part. We explain the benefits of using the approaches together, present a set of guidelines to avoid potential conflicts and give an overview of how the Omnibus IDE provides support for the full range of assertion-based verification approaches within a single tool.
Type: Journal Article
URI: http://hdl.handle.net/1893/3679
URL: http://www.springerlink.com/content/9543347t1h403181/fulltext.pdf
DOI Link: http://dx.doi.org/10.1007/s10270-007-0060-1
Rights: The original publication is available at www.springerlink.com. URL: http://www.springerlink.com/content/9543347t1h403181/
Affiliation: University of Stirling
Computing Science - CSM Dept
Computing Science - CSM Dept

Files in This Item:
File Description SizeFormat 
WilsonMaharajClark.pdf208.77 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.