First Page | Document Content | |
---|---|---|
Date: 2010-06-24 07:51:38 | Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science, Karlsruhe Institute of Technology, Germany Abstract Predicate abstraction is a form of abstract interpretationAdd to Reading ListSource URL: i12www.iti.kit.eduDownload Document from Source WebsiteFile Size: 418,85 KBShare Document on Facebook |