Verification of recursive methods on tree-like data structures.

Jyotirmoy V. Deshmukh, E. Allen Emerson

Browse the full FMCAD paper archive.