ProVeLines: a product line of verifiers for software product lines.

Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay

Browse the full SPLC paper archive.