Deductive Verification of Hybrid Systems Using STeP

Zohar Manna, Henny Sipma. Deductive Verification of Hybrid Systems Using STeP. In Thomas A. Henzinger, Shankar Sastry, editors, Hybrid Systems: Computation and Control, First International Workshop, HSCC 98, Berkeley, California, USA, April 13-15, 1998, Proceedings. Volume 1386 of Lecture Notes in Computer Science, pages 305-318, Springer, 1998.

Abstract

Abstract is missing.