CARLSBAD, Calif. --(Business Wire)-- Apr 22, 2009 At the RSA Security Conference, RMI Corporation, a leading provider of high-performance processors for communication and media rich applications, and ...

Traditionally, proofs that software systems meet safety standards have depended on exhaustive testing. This method is adequate for relatively simple, deterministic systems with single-threaded, run-to ...

Testing is not adequate for ensuring the dependability of today’s multi-threaded systems. If we cannot rely on testing to demonstrate a software system’s dependability, then how are we to design and ...