Efficient software product-line model checking using induction and a SAT solver
Crossref DOI link: https://doi.org/10.1007/s11704-016-6048-7
Published Online: 2018-02-07
Published Print: 2018-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
He, Fei
Gao, Yuan
Yin, Liangze
Text and Data Mining valid from 2018-02-07
Article History
Received: 24 January 2016
Accepted: 8 December 2016
First Online: 7 February 2018