A Way to Comprehend Counterexamples Generated by the Maude LTL Model Checker

Tam Thi Thanh Nguyen, Kazuhiro Ogata. A Way to Comprehend Counterexamples Generated by the Maude LTL Model Checker. In Wei Dong, Xiaoyuan Xie, editors, 2017 International Conference on Software Analysis, Testing and Evolution, SATE 2017, Harbin, China, November 3-4, 2017. pages 53-62, IEEE, 2017. [doi]

Abstract

Abstract is missing.