Invariant Generation for Multi-Path Loops with Polynomial Assignments
Paper in proceedings, 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

19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
Los Angeles, USA,

Areas of Advance

Information and Communication Technology

Subject Categories

Computer and Information Science

DOI

10.1007/978-3-319-73721-8

More information

Latest update

8/26/2020