Invariant Generation for Multi-Path Loops with Polynomial Assignments
Paper in proceedings, 2018

Program Verification

Symbolic Computation

Invariant Generation

Author

Laura Kovacs

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

Andreas Humenberger

Maximillian Jaroschek

Proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)

978-3-319-73720-1 (ISSN)

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\_11

More information

Created

1/18/2019