IV&V Facility Research Program Results and SARP Results  

Advanced Search
Static Analysis < Verification & Validation < Results Home

Click here to complete a short survey. The results of this survey will be used to help us improve the research program and this website.

Click here to view research projects that had new research results added in the last 90 days.
Static Analysis (31)Methods and tools that advance the evaluation of software artifacts in a non-behavioral sense.
Research Projects
A Feasibility Study for Static Analysis of Binary Executables
A Software Safety Certification Plug-in for Automated Code Generators
Achieving High Software Reliability
Adapting ODC for Empirical Evaluation of Pre-Launch Anomalies
An Extensible Environment for Verifying & Validating Object-Oriented SW
Analysis of Defect Data and Defect Detectors
Automated Systems Test and Operations Language (STOL) Analysis Tool
Classifying Software Faults to Improve Fault Detection Effectiveness
Constraint Determination in Matlab_Simulink Models and Autogenerated Code
Contingency Software in Autonomous Systems
FPGA Finite State Machine (FSM) Modeling and Analysis
IV&V Technique for Object Oriented Software Systems
Improving IV&V Techniques Through the Analysis of Anomalies
Infuse Code Surfer into NASA Code S IV&V Process
Infusion of Code Surfer into TCMS Sustaining
Infusion of Perspective-Based Inspection in NASA IV&V
Inspections for Systems and Software
Non-Parametric Software Reliability
Practical Model Checking to Enforce Domain Specific Interfaces
Product-Line Verification of Safety-Critical Software
Programmable Logic Device IV&V Research
See More! Learn More! Tell More!
Software Engineering Research / Developer Collaborations
Software Interface Analysis Tool (SIAT) C/C++
Software Visualization Techniques for IV&V
State-of-the-Art Software Inspections and Reading at NASA
Static Analysis of Software for Autonomous Spacecrafts
Technology Infusion of CodeSonar into the Space Network Ground Segment
Technology Infusion of Klocwork InSpect into Flight SW Branch Development Processes at GSFC
Technology Infusion of SAVE into the Common Ground SW Dev. Process for NASA Missions at JHU/APL
Technology Transfer of Results in Contingency Software for Autonomous Systems


Curator: Josh Stonestreet
NASA Official: Lisa Montgomery
 NASA Insignia NASA Privacy, Security, Notices