| Document Date: 2011-08-02 14:55:47
Open Document File Size: 138,64 KBShare Result on Facebook
City Athens / Rome / Austin / Edinburgh / Paris / / Company IPM Intl / Cambridge University Press / Prentice Hall International (UK) Ltd. / D. Yu N. A. / / Country France / United States / Italy / United Kingdom / / Currency pence / / / Facility Executables Lu Zhao Guodong Li John Regehr University of Utah / / IndustryTerm binary rewriting/analysis tool / binary analysis tool / / Organization Cambridge University / University of Utah / US Federal Reserve / / Position model the CFG policy / abstract interpreter / interprocedural interpreter / representative / / ProgrammingLanguage C / / ProvinceOrState Texas / Utah / / PublishedMedium Theoretical Computer Science / Communications of the ACM / Lecture Notes in Computer Science / / Technology Information Technology / dom / NXP LPC2129 chip / fnode This algorithm / / URL http /
SocialTag |
A Practical Logic Framework for Verifying Safety Properties of Executables Lu Zhao Guodong Li