Login

Project

#238 Modeling and Correctness Verification of Transportation Logic

Principal Investigator
André Platzer
Status
Completed
Start Date
Jan. 1, 2014
End Date
Dec. 31, 2014
Project Type
Research Advanced
Grant Program
MAP-21 TSET - Tier 1 (2012 - 2016)
Grant Cycle
2014 TSET UTC
Visibility
Public

Abstract

-
Description
-
Timeline
-
Strategic Description / RD&T

    
Deployment Plan

    
-

    
Expected Outcomes/Impacts

    
-

    
Expected Outputs

    

    
TRID

    


    
Individuals Involved

    

        
            

                Email
                Name
                Affiliation
                Role
                Position
            

        
        
            
                

                    aplatzer@cs.cmu.edu
                    Platzer, André
                    CS
                    PI
                    Faculty - Tenured
                

            
    


    
Budget


    
    
Amount of UTC Funds Awarded
 $25000.00
    
Total Project Budget (from all funding sources)
 $25000.00

    
Documents

    
        

            
                

                    Type
                    Name
                    Uploaded
                

            
            
                
                    
                
                    
                
            
        

    

    
Match Sources

    
        
No match sources!

    


    
Partners

    
        
No partners!