Compositional Verification by Model Checking for Counter-Examples.

Tevfik Bultan, Jeffrey Fischer, Richard Gerber

Browse the full ISSTA paper archive.