1 cs236607. 2 3 Process 1 Processes and Threads Environment Stack Code Heap CPU State Process 2 Environment Stack Code Heap CPU State cs236607.
Verifying Safety Properties of Concurrent Java Programs Using 3-Valued Logic