University of Minnesota
Software Engineering Center

You are here

Elaheh Ghassabani

Student/Research Assistant
Office Location: 

Recent Publications

Hierarchical Multi-Formalism Proofs of Cyber-Physical Systems

To manage design complexity and provide verification tractability, models of complex cyber-physical systems are typically hierarchically organized into multiple abstraction layers. High-level analysis explores interactions of the system with its physical environment, while embedded software is developed separately based on derived requirements. This separation of lowlevel and high-level analysis also gives hope to scalability, because we are able to use tools that are appropriate for each level. When attempting to perform compositional reasoning in such an