Date: 2010-10-22 17:23:36

Formal methods

Technical communication

Automated theorem proving

Theoretical computer science

Logic in computer science

Formal verification

ACL2

Functional verification

User interface

Proof assistant

Usability

Verification and validation

The Need for Humans in the Loop: Meeting the Grand Challenge of Full Functional Verification Matt Kaufmann & J Strother Moore Department of Computer Science University of Texas at Austin Austin, TX 78701

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 40,95 KB