Potential synergies of theorem proving and model checking for software product lines.

Thomas Thm, Jens Meinicke, Fabian Benduhn, Martin Hentschel, Alexander von Rhein, Gunter Saake

Browse the full SPLC paper archive.