LARA Computing Reachability Predicates Horatiu Iula Final Report Old versions: Bounded Local Reachability Analysis in Pre-compiled Applications, first draft
