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

Invariant Generation

Symbolic Computation

Program Verification

Automated Reasoning

Author

Laura Kovacs

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

Maximillian Jaroschek

Vienna University of Technology

Andreas Humenberger

Vienna University of Technology

Proceedings of the 11th International Conference on Intelligent Computer Mathematics (CICM)

978-3-319-96811-7 (ISSN)

Vol. LNCS 11006 111-117

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

Areas of Advance

Information and Communication Technology

Subject Categories

Computer and Information Science

DOI

10.1007/978-3-319-96812-4\_10

ISBN

9783319968117

More information

Latest update

3/19/2019