Formal verification (was: Re: [Demexp-dev] Thoughts on voting machines)

[David MENTRE]

Hello Brian,

Brian Hurt <address@hidden> writes:

> Open source software and off the shelf hardware components are sufficient, 
> even for presidential elections.  If the software was available, it would 
> be downloaded by "neutral third parties" and rigorously inspected.  The 
> problem is that there are enough components to the system- the software we 
> write, the Ocaml compiler, the operating systems, etc.- that formal 
> verification of one part doesn't imply formal verification of all parts.

Sure, but I still prefer a mathematical proof of some parts than no
proof at all. It's just my opinion. As with all other free software
projects, time and work will tell what can be done if it is valuable.

Yours,
d.
-- 
 David MENTRÉ <address@hidden>