University of Minnesota
http://www.umn.edu/
612-625-5000

Campuses:

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

    • Website design by Gregory Gay and Anitha Murugesan.
    • © 2015 Regents of the University of Minnesota. All rights reserved.
    • The University of Minnesota is an equal opportunity educator and employer. Privacy
    • Last modified on October 30, 2015