Verification of Hybrid Systems: Formalization and Proof Rules in PVS

Erika Ábrahám-Mumm, Martin Steffen, Ulrich Hannemann. Verification of Hybrid Systems: Formalization and Proof Rules in PVS. In 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 11-13 June 2001, Skövde, Sweden. pages 48-57, IEEE Computer Society, 2001. [doi]