Open Access

ARTICLE

Identifying Counterexamples Without Variability in Software Product Line Model Checking

Ling Ding¹, Hongyan Wan^2,*, Luokai Hu¹, Yu Chen¹

1 School of Computer Science, Hubei University of Education, Wuhan, 430205, China
2 School of Computer Science and Artificial Intelligence, Wuhan Textile University, Wuhan, 430200, China

* Corresponding Author: Hongyan Wan. Email: