Show simple item record

dc.contributor.authorMichael, James Bret
dc.contributor.authorShing, Man-Tak
dc.date.accessioned2012-03-14T17:00:35Z
dc.date.available2012-03-14T17:00:35Z
dc.date.issued2007-09
dc.identifier.urihttp://hdl.handle.net/10945/525
dc.description.abstractThis paper presents a framework to incorporate computer-based validation techniques to the independent validation and verification (IV&V) of software systems. The framework allows the IV&V team to capture its own understanding of the problem and the expected behavior of any proposed system for solving the problem via an executable system reference model, which uses formal assertions to specify mission- and safety-critical behaviors. The framework uses execution-based model checking to validate the correctness of the assertions and to verify the correctness and adequacy of the system under test.en_US
dc.format.extentiien_US
dc.publisherMonterey, California. Naval Postgraduate Schoolen_US
dc.rightsApproved for public release, distribution is unlimiteden_US
dc.titleA framework for computer-aided validationen_US
dc.typeReporten_US
dc.contributor.corporateNaval Postgraduate School (U.S.)
dc.contributor.corporateNASA IV&V Facility.
dc.contributor.departmentComputer Science
dc.subject.authorComputer programs.en_US
dc.subject.authorComputer systems.en_US
dc.identifier.oclcocn173262756
dc.identifier.npsreportNPS-CS-07-010


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record