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

Andreas Humenberger Maximilian Jaroschek Laura Kovács

Published in: CICM (2018)

Keyphrases

database
databases
computer vision
moment invariants
software package
real world
artificial intelligence
social networks
image processing
database systems
expert systems
artificial neural networks
generation algorithm
generation method