Source code for the symbolic TopHat execution engine
收藏B2FIND2026-04-29 收录
下载链接：
https://b2find.eudat.eu/dataset/b58782d1-ffdf-5b81-a10f-60b5050186ba
下载链接
链接失效反馈官方服务：
资源简介：
Source code accompanying the paper: Naus, N., Steenvoorden, T.J. & Klinik, M.A.A. (2019). A symbolic execution semantics for TopHat. In J. Stutterheim (Ed.), IFL'19: The 31st...
