Aligator.jl - A Julia Package for Loop Invariant Generation
Paper in proceeding, 2018

Symbolic Computation

Invariant Generation

Program Verification

Automated Reasoning


Laura Kovacs

Chalmers, Computer Science and Engineering (Chalmers), Formal methods

Maximillian Jaroschek

Vienna University of Technology

Andreas Humenberger

Vienna University of Technology

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. LNCS 11006 111-117
978-3-319-96811-7 (ISBN)

11th International Conference on Intelligent Computer Mathematics (CICM)
Hagenberg, Austria,

Areas of Advance

Information and Communication Technology

Subject Categories

Computer and Information Science



More information

Latest update