Summary: Symbolic Analysis for Improving Simulation Coverage of
Simulink/Stateflow Models
Rajeev Alur
University of Pennsylvania
alur@cis.upenn.edu
Aditya Kanade
University of Pennsylvania
kanade@seas.upenn.edu
S. Ramesh
GM India Science Lab
ramesh.s@gm.com
K.C. Shashidhar
GM India Science Lab
shashidhar.kc@gm.com
ABSTRACT
Aimed at verifying safety properties and improving simula-
tion coverage for hybrid systems models of embedded control
software, we propose a technique that combines numerical
simulation and symbolic methods for computing state-sets.
We consider systems with linear dynamics described in the

Source: Alur, Rajeev - Department of Computer and Information Science, University of Pennsylvania

Collections: Computer Technologies and Information Sciences