Slide 1 Concurrency Analysis of Java RMI Using Source Transformation and Verisoft By Tim Cassidy Supervised by Jim Cordy Tom Dean Slide 2 Special Thanks My father My supervisors…