research
∙
09/27/2019
LTL Model Checking of Self Modifying Code
Self modifying code is code that can modify its own instructions during ...
research
∙
09/20/2017
CARET analysis of multithreaded programs
Dynamic Pushdown Networks (DPNs) are a natural model for multithreaded p...
research
∙
12/17/2013