Fast Generic Model-Checking for Data-Based Systems.

Dezhuang Zhang, Rance Cleaveland

Browse the full FORTE paper archive.