********Verification Result******** The Assertion (System() deadlockfree) is VALID. ********Verification Setting******** Admissible Behavior: All Search Engine: First Witness Trace using Depth First Search System Abstraction: False ********Verification Statistics******** Visited States:233 Total Transitions:295 Time Used:0,3590615s Estimated Memory Used:9996,624KB