Formal verification of hybrid systems

  title={Formal verification of hybrid systems},
  author={Rajeev Alur},
  journal={2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT)},
In formal verification, a designer first constructs a model, with mathematically precise semantics, of the system under design, and performs extensive analysis with respect to correctness requirements. The appropriate mathematical model for embedded control systems is hybrid systems that combines the traditional state-machine based models for discrete… CONTINUE READING



Citations per Year

173 Citations

Semantic Scholar estimates that this publication has 173 citations based on the available data.

See our FAQ for additional information.