Symbolic guided search for CTL model checking

Roderick Paul Bloem, K. Ravi, F. Somenzi

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationDesign Automation Conference
Publisher.
Pages29-34
Publication statusPublished - 2000

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this

Bloem, R. P., Ravi, K., & Somenzi, F. (2000). Symbolic guided search for CTL model checking. In Design Automation Conference (pp. 29-34). ..