Aligator.jl - A Julia Package for Loop Invariant Generation.

Andreas Humenberger Maximilian Jaroschek Laura Kovács

Published in: CoRR (2018)

Keyphrases

affine transformation
generation process
information systems
website
expert systems
invariant features
preserving transformations
data sets
search engine
decision making
case study
image analysis
hidden markov models
software package
invariant properties