Aligator.jl - A Julia Package for Loop Invariant Generation

Humenberger, Andreas; Jaroschek, Maximilian; Kovács, Laura

by Andreas Humenberger, Maximilian Jaroschek, Laura Kovács

Reference:

Aligator.jl - A Julia Package for Loop Invariant GenerationAndreas Humenberger, Maximilian Jaroschek, Laura KovácsCICM, volume 11006 of Lecture Notes in Computer Science, pages 111–117, 2018, Springer.

Bibtex Entry:

@string{springer="Springer"}
@inproceedings{DBLP:conf/mkm/HumenbergerJK18,
  author    = {Andreas Humenberger and
               Maximilian Jaroschek and
               Laura Kov{\'{a}}cs},
  title     = {Aligator.jl - {A} Julia Package for Loop Invariant Generation},
  booktitle = {{CICM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11006},
  pages     = {111--117},
  publisher = {Springer},
  year      = {2018}
}