An Algorithm for Automated Generation of Invariants for Loops with Conditionals.

Laura Ildik Kovcs, Tudor Jebelean

Browse the full SYNASC paper archive.