19 citations · 117 across the 36 of their papers we have counts for
1 paper · 2 filters
Alessandro Coglio, Eric McCarthy, Stephen Westfold +3
Syntheto is a surface language for carrying out formally verified program synthesis by transformational refinement in ACL2 using the APT toolkit. Syntheto aims at providing more fa…