Deductive Verification Based Abstraction for Software Model Checking.

Jesper Amilon, Christian Lidstrm, Dilian Gurov

Browse the full ISoLA paper archive.