A proof theory for the multi-threaded flow of control in Java

In this talk I'll give on overview of an assertion proof method for reasoning about threads in Java. The proof method integrates in a modelar manner an intereference freedom test for the shared variable concurrency within an object and the cooperation test for reasoning about method calls.  

hosted by