George Kenison
George Kenison
Home
Publications
Posts
CV
Light
Dark
Automatic
Loop Synthesis
(Un)Solvable Loop Analysis
Automatically generating invariants, key to computer-aided analysis of probabilistic and deterministic programs and compiler …
D. Amrollahi
,
E. Bartocci
,
G. Kenison
,
L. Kovács
,
M. Moosbrugger
,
M. Stankovič
Cite
arXiv
From Polynomial Invariants to Linear Loops
Loop invariants are software properties that hold before and after every iteration of a loop. As such, invariants provide inductive …
G. Kenison
,
L. Kovács
,
A. Varonka
PDF
Cite
DOI
arXiv
Cite
×