Visible to the public Automatic Reverse Engineering for Formal Verification

Submitted by TimTh on Fri, 07/01/2011 - 8:36am. Contributor:

Presented as part of the 2009 HCSS conference.

License: 
Creative Commons 2.5

Other available formats:

Automatic Reverse Engineering for Formal Verification
Switch to experimental viewer