6 citations · 6 across the 1 of their papers we have counts for
1 paper
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…