Validating the correctness of reactive systems specifications through systematic exploration.

Dor Ma'ayan, Shahar Maoz, Roey Rozi

Browse the full MODELS paper archive.