Deductively Verified Program Models for Software Model Checking.

Jesper Amilon, Dilian Gurov

Browse the full ISoLA paper archive.