![Computer programming / Software engineering / Programming language implementation / Runtime verification / Formal verification / X86 / Compiler / Pin / Disassembler / Computing / Formal methods / Logic in computer science Computer programming / Software engineering / Programming language implementation / Runtime verification / Formal verification / X86 / Compiler / Pin / Disassembler / Computing / Formal methods / Logic in computer science](https://www.pdfsearch.io/img/9ea263f2a49196dcc248c038cb91ee19.jpg)
| Document Date: 2014-12-17 15:18:11 Open Document File Size: 148,10 KBShare Result on Facebook
City Pittsburgh / Phoenix / Boulder / / Company Cambridge University Press / Intel / Microsoft / / Country United States / / Facility Carnegie Mellon University / Edward J. Schwartz Carnegie Mellon University / University of Wisconsin / / IndustryTerm security research applications / generation algorithms / software property / software analysis research / command line utilities / linear sweep disassembly algorithm / / OperatingSystem GNU / / Organization Army Research Office / Cambridge University / Carnegie Mellon University / University of Wisconsin / Computer Science Department / / Person Ivan Jager / / Position evaluator / / ProgrammingLanguage C / / ProvinceOrState Wisconsin / Illinois / Colorado / / Technology real processor / application program interface / API / VC generation algorithms / linear sweep disassembly algorithm / two algorithms / / URL http /
SocialTag |