[Scstudio-devel] [ scstudio-Bugs-3537938 ] Not found all race condition problems

[SourceForge.net <no...@so...>]

Bugs item #3537938, was opened at 2012-06-25 13:07
Message generated for change (Settings changed) made by madzin
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3537938&group_id=219467

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Verification algorithms
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Matus  Madzin (madzin)
>Assigned to: Vaclav Vacek (vacek)
Summary: Not found all race condition problems

Initial Comment:
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. 

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3537938&group_id=219467