CHARON	Department of Computer and Information Science University of Pennsylvania
	Overview | People | Examples | Grammar | Implementation | Publications | Links

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