Browsing Electrical and Computer Engineering by Author "Kember, Mitchell"
Now showing items 1-1 of 1
-
Extracting Counterexamples from Transitive-Closure-Based Model Checking
Kember, Mitchell; Tran, Lynn; Gao, George; Day, Nancy (IEEE, 2019)We address the problem of how to extract counterexamples for the transitive-closure-based model checking (TCMC) technique. TCMC is a representation of the CTLFC (CTL with fairness constraints) model checking problem in ...