[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: David MENTRE
Subject: Formal verification (was: Re: [Demexp-dev] Thoughts on voting machines)
Date: Tue, 21 Sep 2004 20:40:12 +0200
User-agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.3 (gnu/linux)

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.

 David MENTRÉ <address@hidden>

reply via email to

[Prev in Thread] Current Thread [Next in Thread]