skip to content
 Tool Support for Verification-Based Software Inspection Preview this item
ClosePreview this item
Checking...

Tool Support for Verification-Based Software Inspection

Author: Daniel Powell
Publisher: http://dx.doi.org/10.1109/ASWEC.2004.1290476 IEEE 2004
Edition/Format:   Computer file
Database:WorldCat
Summary:
For a software component to be reusable, it must be verified as correct and documented with an unambiguous and complete specification of what it does. We present a technique of semiformal verification using tool support. The prototype tool MINDER generates specifications and verification conditions directly from program code at the unit level. As opposed to systems involving theorem proving, this approach is
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: E1a
Conference Publications (Full Written Paper - Refereed)
Full-text link or file
Material Type: Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Daniel Powell
OCLC Number: 669659574
Language Note: En_AU.

Abstract:

For a software component to be reusable, it must be verified as correct and documented with an unambiguous and complete specification of what it does. We present a technique of semiformal verification using tool support. The prototype tool MINDER generates specifications and verification conditions directly from program code at the unit level. As opposed to systems involving theorem proving, this approach is directed at supporting human reasoning during verification-based software inspection. In effect MINDER provides guidance for inspectors constructing arguments of correctness. The output of MINDER is also useful for documenting a formal specification for a program. We demonstrate with simple examples the use of MINDER in supporting the verification and publication of trusted unit-level software components.

Yes.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.