SRI International / LINEAR HYBRID SYSTEMS / T-VEC Technologies Inc. / The Mathworks Inc. / General Motors / Embedded Computing Systems / Reactive Systems Inc. / /
Country
United States / /
Currency
USD / / /
Facility
University of Pennsylvania / Simulink/Stateflow Models Rajeev Alur Aditya Kanade S. Ramesh University of Pennsylvania University of Pennsylvania GM / Beacon Tester / Parma Polyhedra Library / /
IndustryTerm
continuous and hybrid systems / multirate systems / control systems / in-house test generation tools / forward symbolic search / control software / continuous systems / hybrid systems / analysis algorithm / software analysis / software systems / model checking tools / /
MarketIndex
set 20 / /
Organization
National Science Foundation / University of Pennsylvania / University of Pennsylvania University of Pennsylvania GM India Science Lab / /
Person
Let Pn / Fedora Core / /
Position
guard / designer / automatic translator / representative / hybrid system model / the guard / Analysis General / Senator / controller / /
Symbolic Analysis for Improving Simulation Coverage of Simulink/Stateflow Models Rajeev Alur