NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Validation of mission critical software design and implementation using model checkingModel Checking conducts an exhaustive exploration of all possible behaviors of a software system design and as such can be used to detect defects in designs that are typically difficult to discover with conventional testing approaches.
Document ID
20060029922
Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
External Source(s)
hdl:2014/9772
Authors
Pingree, P. J.
Mikk, E.
Holzmann, G.
Smith, M.
Dams, D.
Date Acquired
August 23, 2013
Publication Date
October 27, 2002
Subject Category
Computer Programming And Software
Distribution Limits
Public
Copyright
Other
Keywords
model checking statecharts automated translation

Available Downloads

There are no available downloads for this record.

Related Records

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