Solving Invariant Generation for Unsolvable Loops - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic. Solving Invariant Generation for Unsolvable Loops. In Gagandeep Singh 0001, Caterina Urban, editors, Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings. Volume 13790 of Lecture Notes in Computer Science, pages 19-43, Springer, 2022. [doi]

This author has not been identified. Look up 'Daneshvar Amrollahi' in GoogleThis author has not been identified. Look up 'Ezio Bartocci' in GoogleThis author has not been identified. Look up 'George Kenison' in GoogleThis author has not been identified. Look up 'Laura Kovács' in GoogleThis author has not been identified. Look up 'Marcel Moosbrugger' in GoogleThis author has not been identified. Look up 'Miroslav Stankovic' in Google

runs on WebDSL