Loading...
Please wait, while we are loading the content...
Similar Documents
Program model checking: a practitioner's guide
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Pasareanu, Corina S. Pressburger, Thomas T. Brat, Guillaume P. Mansouri-Samani, Masoud Penix, John J. Mehlitz, Peter C. Markosian, Lawrence Z. |
| Copyright Year | 2008 |
| Description | Program model checking is a verification technology that uses state-space exploration to evaluate large numbers of potential program executions. Program model checking provides improved coverage over testing by systematically evaluating all possible test inputs and all possible interleavings of threads in a multithreaded system. Model-checking algorithms use several classes of optimizations to reduce the time and memory requirements for analysis, as well as heuristics for meaningful analysis of partial areas of the state space Our goal in this guidebook is to assemble, distill, and demonstrate emerging best practices for applying program model checking. We offer it as a starting point and introduction for those who want to apply model checking to software verification and validation. The guidebook will not discuss any specific tool in great detail, but we provide references for specific tools. |
| File Size | 698813 |
| Page Count | 146 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20080015887 |
| Archival Resource Key | ark:/13960/t16m8737s |
| Language | English |
| Publisher Date | 2008-03-01 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Algorithms Heuristic Methods Proving Handbooks Assembling Procedures Optimization Program Verification Computers Computer Programs Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |
