The determinacy checker, spdet, is a new, powerful tool originally written by Dave Bowen and Peter Schachte.
The determinacy checker can help you spot unwanted nondeterminacy in your programs. This tool examines your program source code and points out places where unintended nondeterminacy may arise. Unintended nondeterminacy should be eradicated because
See The Determinacy Checker.