Your browser does not appear to support Javascript, please update your browser or contact your system administrator to enable Javascript on your Internet browser. Thank you. [ยทยทยท] — U.S. Election Assistance Commission

Comment by Diane Gray (Voting System Test Laboratory)

This is a comment on Part 2, Chapter 3.4.7.2-H, dated 2008/04/18 09:59:51.577 GMT-4

If the software does perform concurrent computing, what constitutes a "sound argument (possibly, but not necessarily, a formal proof) that the application logic is free of the listed condidtions?