64 citations · 73 across the 3 of their papers we have counts for
1 paper · 1 filter
Etienne Kneuss, Viktor Kuncak, Ivan Kuraj +1
We describe techniques for synthesis and verification of recursive functional programs over unbounded domains. Our techniques build on top of an algorithm for satisfiability modulo…