Now showing items 1-1 of 1
Program Analysis: An Exploration Of Relational Verification
(Georgia Institute of Technology, 2016-07-18)
Program analysis is a quickly growing field. We attempt to tackle new problems regarding program equivalence, concurrent programs, and information flow. As these problems have not been addressed at the same level we ...