Optimality in Abstractions of Model Checking

Rance Cleaveland, S. Purushothaman Iyer, Daniel Yankelevich

Browse the full SAS paper archive.