Automatic Symbolic Verification of Embedded Systems

Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho. Automatic Symbolic Verification of Embedded Systems. IEEE Trans. Software Eng., 22(3):181-201, 1996. [doi]

Abstract

Abstract is missing.