By Aws Albarghouthi.
In this repository https://github.com/barghouthi/vmw19, you can find the slides and code of the talk given during the Verification Mentoring Workshop, CAV2019, about program synthesis!
A sharing platform for the Computer-Aided Verification community
By Aws Albarghouthi.
In this repository https://github.com/barghouthi/vmw19, you can find the slides and code of the talk given during the Verification Mentoring Workshop, CAV2019, about program synthesis!