Past Projects
CAREER: Requirements Specification for Embedded Systems: An Integrated Framework
Funded by : The National Science Foundation
Test-Case Generation with an Explicit State Model Checker
Funded by : NASA Ames Research Center
Intelligent Specification Centered Test-Case Generation
Funded by : NASA Ames Research Center
Structuring Formal Requirements for Reuse and Product Families
Funded by : NASA Langley Research Center
Methods and Tools for Flight Critical Systems
Funded by : NASA Langley Research Center
Tandem Experiments in Finding Faults During Model-Based Development
Funded by : NASA Independent Verification and Validation Facility
A spectrum of IV&V modeling techniques
Funded by : NASA Independent Verification and Validation Facility
Methods and Tools for Flight Critical Systems
Funded by : Rockwell Collins
View Current projects
