Case Study on Verification-Witness Validators: Where We Are and Where We Go.

Dirk Beyer, Jan Strejcek

Browse the full SAS paper archive.