Fault

A modeling language for building system dynamic models and checking them using a combination of first order logic and probability.