Py2Smt – A compiler that converts Python to logical representations for verification purposes
SLACC – A syntax-guided PBE synthesizer for Python
My notes from the Oregon Programming Languages Summer School ’23 can be found here.
Py2Smt – A compiler that converts Python to logical representations for verification purposes
SLACC – A syntax-guided PBE synthesizer for Python
My notes from the Oregon Programming Languages Summer School ’23 can be found here.