Differential formal analysis: evaluating safer 5-key number entry user interface designs

@inproceedings{Cauchi2012DifferentialFA,
  title={Differential formal analysis: evaluating safer 5-key number entry user interface designs},
  author={Abigail Cauchi},
  booktitle={EICS},
  year={2012}
}
Differential Formal Analysis (DFA) is an evaluation method based on stochastic simulation for evaluating safety critical user interfaces with subtle programming differences. This method enforces rigorous science by requiring two or more researchers to perform the analysis which in itself, raises important issues for discussion. This method is demonstrated… CONTINUE READING