Concepedia

Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces

Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz

Science of Computer Programming · 2011 · 25 citations · 27 references

DOI

Concepts

References

27

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1969 · 3.9K citations · Full text

, , +17

Symbolic model checking: 1020 States and beyond

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · Information and Computation · 1992 · 2.7K citations

, , +12

The theory of hybrid automata

Thomas A. Henzinger · 2002 · 1.9K citations

, , +14

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1983 · 1.5K citations

, , +17

HYTECH: a model checker for hybrid systems

Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi · International Journal on Software Tools for Technology Transfer · 1997 · 775 citations

, , +11