Some myths about formal verification

• Authors:

• Thomas A. Henzinger

• Affiliations:

• Electrical Engineering and Computer Sciences, University of California at Berkeley, 519 Cory Hall, Berkeley, CA

• Venue:
• ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
• Year:
• 1996