Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
利用紧域界限对堆操作程序进行高效的有界模型检测
期刊:Journal of Biomedical Optics
影响因子:2.9
doi:10.1117/1.JBO.19.10.106013
Hariri, Sepideh; Johnstone, Murray; Jiang, Yi; Padilla, Steven; Zhou, Zhehai; Reif, Roberto; Wang, Ruikang K; Ponzio, Pablo; Godio, Ariel; Rosner, Nicolás; Arroyo, Marcelo; Aguirre, Nazareno; Frias, Marcelo F