SDL Simulation
After a very short period of time, we get two sort of results
From the main simulator window, select “File-Scenario-Load…”, and notice that the Formal Verifier has created 11 scenarios for us (1 for the deadlock, 10 for the successes)
Choose “cs.tentimes.s1.scn”