Open Access iconOpen Access

ARTICLE

crossmark

Identifying Counterexamples Without Variability in Software Product Line Model Checking

Ling Ding1, Hongyan Wan2,*, Luokai Hu1, Yu Chen1

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: email

TSP_CMC_35542.pdf

  • 661

    View

  • 404

    Download

  • 0

    Like

Share Link