43 citations · 93 across the 5 of their papers we have counts for
1 paper · 1 filter
Andreas Humenberger, Daneshvar Amrollahi, Nikolaj Bjørner +1
Provably correct software is one of the key challenges of our software-driven society. Program synthesis -- the task of constructing a program satisfying a given specification -- i…