UWSpace will be migrating to a new version of its software from July 29th to August 1st. UWSpace will be offline for all UW community members during this time.
Browsing Waterloo Research by Subject "CTLFC model checking"
Now showing items 1-1 of 1
-
Extracting Counterexamples from Transitive-Closure-Based Model Checking
(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 ...