Abstracting Concolic Execution for Soft Contract Verification.

Bram Vandenbogaerde, Quentin Stivenart, Coen De Roover

Browse the full SAS paper archive.