43 citations · 93 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2022★ 8 cited
Algebra-Based Reasoning for Loop Synthesis
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…
cs.LO2021★ 3 cited
Algebra-based Synthesis of Loops and their Invariants (Invited Paper)
Andreas Humenberger, Laura Kovacs
Provably correct software is one of the key challenges in our softwaredriven society. While formal verification establishes the correctness of a given program, the result of progra…