Association for Computing Machinery (ACM) - A Unified Approach to Language Containment and Fair CTL Model Checking

30th ACM/IEEE Design Automation Conference

Author(s): R. Hojati ; T.R. Shiple ; R.K. Brayton ; R.P. Kurshan
Publisher: Association for Computing Machinery (ACM)
Publication Date: 1 January 1993
Conference Location: Dallas, TX, USA, USA
Conference Date: 14 June 2014
Page(s): 475 - 481
ISBN (Paper): 0-89791-577-1
ISSN (Paper): 0738-100X
DOI: 10.1145/157485.164985

Two important practical approaches to formal verification of finite-state systems are language containment using L-automata (LC) and Computation Tree Logic model checking (MC). Using either... View More