Verification of ACTL Properties by Bounded Model Checking

  title={Verification of ACTL Properties by Bounded Model Checking},
  author={Wenhui Zhang},
With the papers of Biere et. al. [1, 2] in 1999, SAT-based bounded model checking (BMC) for verification of LTL properties has been introduced as a complementary technique to BDD-based symbolic model checking, and a lot of successful work has been done with this approach. The idea has later also been applied to the verification of ACTL (the universal fragment of CTL) properties [6]. The efficiency of this method is based on the observation that if a system is faulty then only a fragment of its… CONTINUE READING

From This Paper

Topics from this paper.
7 Citations
7 References
Similar Papers


Publications citing this paper.

Similar Papers

Loading similar papers…