Debug, Execute, Verify! Development-Verification Co-Design Made Practical.

Frantisek Farka, Carmine Abate, Shuanglong Kan, Sebastian Ertel

Browse the full PLOS paper archive.