Polynomial invariant generation for non-deterministic recursive programs.

Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady

Browse the full PLDI paper archive.