RTG Projects

#!/usr/local/bin/php RTG Projects

RTG Home | PRECISE | CIS Home | Penn Engineering | Penn

RTG Projects

Current Projects

Past Projects

QTM: Quantitative Trust Management
Modular Specification of Hybrid Systems: CHARON
TrustForge
Specification and Analysis of Real-Time Systems: ACSR, VERSA
Wireless and Mobile Systems
Design, Implementation, and Validation of Embedded Software: MoBIES
High Assurance Systems Tools and Environment: HASTEN
Model-Based Development: Code Generation, Test Generation
Timed REachability Analysis Tool: TREAT

RTG Home | PRECISE | CIS Home | Penn Engineering | Penn