Formal verification of hybrid systems

@article{Alur2011FormalVO,
  title={Formal verification of hybrid systems},
  author={Rajeev Alur},
  journal={2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT)},
  year={2011},
  pages={273-278}
}
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

Topics

Statistics

0204020112012201320142015201620172018
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.