Counterexample- And Simulation-guided Floating-point Loop Invariant Synthesis

2021 19:43
Synopsis
Hi, this is @izycheva from @TU_Muenchen. Check out our SAS'20 paper with Eva Darulova (MPI-SWS) and Helmut Seidl (TUM) ...

You Might Also Like

Counterexamples and simulation for floating-point loop invariant synthesis 11:36
Counterexamples And Simulation For Floating-point Loop Invar...
2021
Interval Counterexamples for Loop Invariant Learning (Video, ESEC/FSE 2020) 18:03
Interval Counterexamples For Loop Invariant Learning (video,...
2021
Interval Counterexamples for Loop Invariant Learning (Teaser, ESEC/FSE 2020) 2:01
Interval Counterexamples For Loop Invariant Learning (teaser...
2021
Writing Loop Invariants in Whiley 1:33
Writing Loop Invariants In Whiley
2014
Loop Invariants 6:08
Loop Invariants
2022
LOOP03. Example. 5:14
Loop03. Example.
2018
Inferring Loop Invariants through Gamification 0:30
Inferring Loop Invariants Through Gamification
2019
Invariants: How Understanding Limits Enhances Your Code 3:55
Invariants: How Understanding Limits Enhances Your Code
2025
The Mechanics of Loop Invariants in Whiley 15:51
The Mechanics Of Loop Invariants In Whiley
2018
Introduction to Loop Invariants in Whiley 10:09
Introduction To Loop Invariants In Whiley
2016
Finding Loop Invariants Using a Theorem Prover 51:25
Finding Loop Invariants Using A Theorem Prover
2017
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.