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
Research Type
Advanced
Grant Type
Research
Grant Program
MAP-21 TSET - Tier 1 (2012 - 2016)
Grant Cycle
2014 TSET UTC
Visibility
Public

Abstract

-    
Description
-    
Timeline
-    
Deployment Plan
-    
Expected Accomplishments and Metrics
-    

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!