These lecture notes present a set of techniques for the verification of reactive systems. We concentrate on the case of infinite-states systems and the application of abstraction methods for their verification.
CITATION STYLE
Pnueli, A. (2005). Keys in Formal Verification. In Engineering Theories of Software Intensive Systems (pp. 177–213). Springer-Verlag. https://doi.org/10.1007/1-4020-3532-2_7
Mendeley helps you to discover research relevant for your work.