Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.
The Race algorithm does not found all race problems (races) in the attached MSC. The algorithm finds one race problem but there are two race problems, message from the client can also be delivered before register message from the proxy.
The Race algorithm does not find all race problems by design - only events that are in a footprint are considered, which is not the case in the attached file.