1. An apparatus for modeling a large software system, comprising: a statistical ensemble of variables embedded in a logical environment that controls microscopic behavior of the variables; and macrocopic attributes that emerge from the microscopic behavior; and wherein, when the probability of the system being in a predefined state is high, the software is considered to be hardening.