Model checking lots of systems: efficient verification of temporal properties in software product lines.

Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-Franois Raskin

Browse the full ICSE paper archive.