Research Results | Formal Methods


	Search:	Advanced Search

Formal Methods < 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.

Formal Methods (26)

	Research Projects

	A Compositional Approach to Validation of Formal Models

	A Feasibility Study for Static Analysis of Binary Executables

	A Software Safety Certification Plug-in for Automated Code Generators

	A Spectrum of IV&V Modeling Techniques

	Automated Testing & Quantitative Evaluation of Real-Time System Source Code

	Bayesian Verification & Validation Tools for Adaptive Systems

	Effective Life-Cycle IV&V of Auto-Generated Software

	FPGA Finite State Machine (FSM) Modeling and Analysis

	Formal Approaches to Swarm Technologies

	Formal Methods Analysis Framework

	Formal Methods for Systems and Software Specifications

	Fractal Analysis of Resource Exhaustion in Real Time Operating Systems

	IV&V Technique for Object Oriented Software Systems

	Integrating Formal Methods and Testing

	Integrating Model Checking and Procedural Languages

	Integrating Software Into Probabilistic Risk Assessment

	Lyapunov Stability Analysis and On-Line Monitoring

	Model Checking of Artificial Intelligence Based Planners

	Model-Validation in Model-Based Development

	Program Model Checking Case Studies and Practitioner's Guide

	Runtime Continuous Verification of an Onboard Planner

	Software Engineering Research / Developer Collaborations

	Tandem Experiments in Finding Faults During Model-Based Development

	Test Coverage Analysis - A Tandem Experiment Using Available Prototypes

	Validation of System Safety Using Bayesian Belief Networks

	Verification and Validation of Adaptive Systems

Curator: Josh Stonestreet
NASA Official: Lisa Montgomery