Loading...
Please wait, while we are loading the content...
Similar Documents
Program model checking as a new trend
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Havelund Sr., Klaus Visser, Willem |
| Copyright Year | 2002 |
| Description | This paper introduces a special section of STTT (International Journal on Software Tools for Technology Transfer) containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - September 1, 2000. The workshop was named SPIN Model Checking and Software Verification, with an emphasis on model checking of programs. The paper outlines the motivation for stressing software verification, rather than only design and model verification, by presenting the work done in the Automated Software Engineering group at NASA Ames Research Center within the last 5 years. This includes work in software model checking, testing like technologies and static analysis. |
| File Size | 1505358 |
| Page Count | 14 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20030003734 |
| Archival Resource Key | ark:/13960/t3b043t3p |
| Language | English |
| Publisher Date | 2002-01-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Models Conferences Program Verification Computers Computer Programs Software Engineering Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Article |
