| |
| | Experience with Predicate Abstraction - Das, Dill, Park (ResearchIndex) (Site not responding. Last check: 2007-11-02) |
 | | Satyaki Das 1, David L. Dill 1, and Seungjoon Park 2 1 Computer Systems Laboratory, Stanford University, Stanford, CA 94305 2 RIACS, NASA Ames Research Center, Moffett Field, CA 94035 Abstract. |
 | | This reports some experiences with a recently-implemented prototype system for verification using predicate abstraction, based on the method of Graf and Saidi [9]. |
 | | Satyaki Das, David L. Dill, and Seungjoon Park. |
| citeseer.ist.psu.edu /das99experience.html (520 words) |
|