Find and Fix Concurrency Issues via Static Testing
Do you use semaphores, mutexes or interrupt protection to control concurrency in multitasking or multithreaded systems? Apply Imagix 4D to steer between race conditions and deadlocks. Review task partitioning and intertask communication. Detect potential problems in data sharing and thread safety.
For C and C++ developers
Concurrency testing for C and C++ software
Understand and test your concurrency control, through static analysis and verification of: