LTL Model Checking for Recursive Programs.

Geng-Dian Huang, Lin-Zan Cai, Farn Wang

Browse the full ATVA paper archive.