Additional examples are adjusted to the entries in an automated way - we cannot guarantee that they are correct.
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.