NuSeen: A Tool Framework for the NuSMV Model Checker.

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene

Browse the full ICST paper archive.