Invariant Generation for Multi-Path Loops with Polynomial Assignments
Paper in proceeding, 2018
Symbolic Computation
Program Verification
Invariant Generation
Author
Laura Kovacs
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Andreas Humenberger
Vienna University of Technology
Maximillian Jaroschek
Vienna University of Technology
Proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
Vol. LNCS 10747 226-246
978-3-319-73720-1 (ISBN)
19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
Los Angeles, USA,
Los Angeles, USA,
Areas of Advance
Information and Communication Technology
Subject Categories
Computer and Information Science
DOI
10.1007/978-3-319-73721-8