NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Model-driven software verificationIn this paper we explore a different approach to software verification. With this approach, a software application can be included, without substantial change, into a verification test-harness and then verified directly, while presearving the ability to apply data abstraction techniques. Only the test-harness is written in the language of the model checker.
Document ID
20060043214
Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
External Source(s)
hdl:2014/37932
Authors
Holzmann, Gerard J.
Joshi, Rajeev
Date Acquired
August 23, 2013
Publication Date
April 1, 2003
Subject Category
Computer Programming And Software
Meeting Information
Meeting: 11th International SPIN Workshop on Model Checking of Software
Location: Barcelona
Country: Spain
Start Date: April 1, 2003
Distribution Limits
Public
Copyright
Other
Keywords
software verification

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
No Preview Available