First Page | Document Content | |
---|---|---|
Date: 2010-09-11 18:44:06Logic Mathematical logic Theoretical computer science FO Finite model theory Predicate transformer semantics Model theory Substitution | Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev JoshiAdd to Reading ListSource URL: rjoshi.orgDownload Document from Source WebsiteFile Size: 248,52 KBShare Document on Facebook |