CHARON Department of Computer and Information Science
University of Pennsylvania
   
  | | | | | |
 Modular Specification of Hybrid Systems
 Links
 

  • SDRL: Systems Design Research Lab.
  • RTG: Real Time Systems Group.
  • MoBIES: Design, Implementation, and Validaton of Embedded Software
  • MARS: Software for controlling multiple autonomous robots.
  • MOCHA: Exploiting Modularity in Model Checking.

Maintained by Valentina Sokolskaya