Aligator.jl - A Julia Package for Loop Invariant Generation
Paper in proceeding, 2018
Symbolic Computation
Invariant Generation
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
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-117978-3-319-96811-7 (ISBN)
11th International Conference on Intelligent Computer Mathematics (CICM)
Hagenberg, Austria,
Hagenberg, Austria,
Areas of Advance
Information and Communication Technology
Subject Categories
Computer and Information Science
DOI
10.1007/978-3-319-96812-4_10