Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/1604
Appears in Collections:Computing Science and Mathematics Technical Reports
Peer Review Status: Refereed
Title: Push-Button Tools for Application Developers, Full Formal Verification for Component Vendors
Authors: Wilson, Thomas
Maharaj, Savi
Clark, Robert
Contact Email: twi@cs.stir.ac.uk
Citation: Wilson T, Maharaj S & Clark R (2007) Push-Button Tools for Application Developers, Full Formal Verification for Component Vendors. Technical Report CSM, 167. Department of Computing Science and Mathematics, University of Stirling.
Keywords: Assertion-based verification
Run-time assertion checking
Extended Static Checking
Formal verification
Software Component Reuse
Tool integration
Issue Date: Aug-2007
Publisher: Department of Computing Science and Mathematics, University of Stirling
Series/Report no.: Technical Report CSM, 167
Abstract: Software developers have varying abilities and develop software with differing reliability requirements. Sometimes reliability is critical and the developers have the mathematical capabilities to perform interactive theorem proving but this is not usually the case. We believe that most software developers need easy to use tools such as run-time assertion checkers and extended static checkers that can help them produce more reliable application-specific code cheaply. However, these lightweight approaches are not sufficient to allow the safe reuse of software components. To safely reuse software components we need comprehensive descriptions and assurances of correctness. These requirements can be provided for by full formal verification with the additional costs justified by the economies of scale. Our Omnibus verification tool provides integrated support for all these different types of verification. This paper illustrates these concepts through a sorting implementation.
Type: Technical Report
URL: http://www.cs.stir.ac.uk/research/publications/techreps/
URI: http://hdl.handle.net/1893/1604
Affiliation: University of Stirling
Computing Science - CSM Dept
Computing Science - CSM Dept

Files in This Item:
File Description SizeFormat 
Push-Button Tools for Application Developers.pdf274.87 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.