Family-based model checking using off-the-shelf model checkers: extended abstract.

Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski

Browse the full SPLC paper archive.