Contact
l
l
lFor more information, please contact:
lMark Skall
lmark.skall@nist.gov
l301-975-3262
lhttp://www.itl.nist.gov/div897/
Formal v. semi-formal
Automatically generates tests for object-oriented software.

Used to identify the COTS software used in voting software

Looking forward to a continuing dialog with the voting community.