LERNER SORIN L

System and method for performing a path-sensitive verification on a program