Fault verification, e.g. comparing two values which should be the same, unless a computational fault occurred
Currently, there are no issues on this topic. Create one.