Slide 1Software Testing with QuickCheck Lecture 3 Testing Stateful Systems Slide 2 The Process Registry Erlang provides a local name server to find node services – register(Name,Pid)—associate…