In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distributed e-voting system ...

There is a growing concern about the increasing vulnerability of future computing systems to errors in the underlying hardware. Traditional redundancy technique ...