I know of three vendors addressing this in the embedded space: Coverity, Klocwork, and Parasoft. One technique that all three of these vendors use is static path analysis. In response to my question ...

In the late 1980s, economists were offered a theoretical explanation for why markets can fail to move towards the socially optimal outcome, even in the long run 1. Building on the classic example of ...