HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Andreas Humenberger

Publications
Algebra-based Synthesis of Loops and their Invariants
Andreas Humenberger and Laura Kovács
EasyChair Preprint 4946

Keyphrases

Algebraic Recurrences, formal verification, loop invariants, loop synthesis, Optimization, symbolic computation.

Copyright © 2012-2025 easychair.org. All rights reserved.