Different forms of liability employ different notions of fault, in some there is no need to prove fault.

His joint work with Mathai Joseph work on fault tolerance gives a formal model that defines precisely the notions of fault, error, failure and fault-tolerance, and their relations.