Up

Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts

Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts

6 Here is difference between single metavariables and arrays. One metavariable for And the pointers problem.

Sergey Vartanov, 2007–2020