Verification based error search for embedded systems
An important way of modeling embedded systems is based on the formalism of
hybrid systems. By checking the correctness of the resulting models, errors
can be found early in the design process. The thesis will involve the design
and implementation of an algorithm for automatically searching for design
errors.