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?