Tapir: Language Support to Reduce the State Space in Model-Checking.

Ronald Veldema, Michael Philippsen

Browse the full GI paper archive.