analyzer icon indicating copy to clipboard operation
analyzer copied to clipboard
verified publisher icon goblint

[BA] Synthesizing linear ranking functions for LASW programs

Open DrMichaelPetter opened this issue 3 months ago • 0 comments

Essentially we implement Podelski/Rybalchenko

DrMichaelPetter avatar Nov 11 '25 11:11 DrMichaelPetter