Extracting Counterexamples from Transitive-Closure-Based Model Checking

2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE)

Year: 2019, Pages: 47-54

Mitchell Kember, University of Waterloo
Lynn Tran, University of Waterloo
George Gao, University of Waterloo
Nancy Day, University of Waterloo