2002•Real-Time SystemsRequires access
Model Checking of Finite‐State Systems
Albert M. K. Cheng
Open publisher page 0 citations
Abstract
Chapter 4 describes model checking of finite-state systems. Topics covered include: system specification, Clarke-Emerson-Sistla Model Checker, CTL, Complete CTL Model Checker in C, Symbolic Model Checking, Binary Decision Diagrams, Real-Time CTL, minimum and maximum delays, minimum and maximum number of condition occurrences, and state graphs with non-unit transition time.