Testing is not adequate for ensuring the dependability of today’s multi-threaded systems (see “The Limits Of Testing In Safe Systems” at electronicdesign.com). Even though these systems are ...