research
∙
06/23/2022
Algebra-Based Reasoning for Loop Synthesis
Provably correct software is one of the key challenges of our software-d...
share
research
∙
03/05/2021
Algebra-based Synthesis of Loops and their Invariants (Invited Paper)
Provably correct software is one of the key challenges in our softwaredr...
research
∙
04/24/2020
Algebra-based Loop Synthesis
We present an algorithm for synthesizing program loops satisfying a give...
research
∙
08/16/2018
Aligator.jl - A Julia Package for Loop Invariant Generation
We describe the Aligator.jl software package for automatically generatin...
research
∙
01/11/2018
Invariant Generation for Multi-Path Loops with Polynomial Assignments
Program analysis requires the generation of program properties expressin...
research
∙
05/08/2017