Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Anastasiia Izycheva, Eva Darulova, Helmut Seidl. Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis. In David Pichardie, Mihaela Sighireanu, editors, Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings. Volume 12389 of Lecture Notes in Computer Science, pages 156-177, Springer, 2020. [doi]

This author has not been identified. Look up 'Anastasiia Izycheva' in GoogleThis author has not been identified. Look up 'Eva Darulova' in GoogleThis author has not been identified. Look up 'Helmut Seidl' in Google

runs on WebDSL