Back to Results
First PageMeta Content
Computing / Computer programming / C / Data types / Pointer / Hooking / Exec / Nm / Struct


Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie
Add to Reading List

Document Date: 2018-08-03 20:31:21

Open Document

File Size: 323,23 KB

Share Result on Facebook