Verification of ACTL Properties by Bounded Model Checking

Wenhui Zhang. Verification of ACTL Properties by Bounded Model Checking. In Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers. Volume 4739 of Lecture Notes in Computer Science, pages 556-563, Springer, 2007. [doi]

Abstract

Abstract is missing.