Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems.

Edmund M. Clarke, Muralidhar Talupur, Helmut Veith

Browse the full TACAS paper archive.