Extracting counterexamples from transitive-closure-based model checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mitchell Kember, Lynn Tran, George Gao, Nancy A. Day. Extracting counterexamples from transitive-closure-based model checking. In Marsha Chechik, Daniel Strüber 0001, Dániel Varró, editors, Proceedings of the 11th International Workshop on Modelling in Software Engineerings, MiSE@ICSE 2019, Montreal, QC, Canada, May 26-27, 2019. pages 47-54, ACM, 2019. [doi]

This author has not been identified. Look up 'Mitchell Kember' in GoogleThis author has not been identified. Look up 'Lynn Tran' in GoogleThis author has not been identified. Look up 'George Gao' in GoogleThis author has not been identified. Look up 'Nancy A. Day' in Google

runs on WebDSL