Back to Results
First PageMeta Content
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
Add to Reading List

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


Open Document

File Size: 40,95 KB

Share Result on Facebook