Squeeze All the Power Out of Your Hardware to Verify Your Software!.

Jiri Barnat, Lubos Brim

Browse the full ISoLA paper archive.