Date of Original Version

10-23-2010

Type

Working Paper

Abstract or Description

Here are five ideas on how to make verification more usable by and useful for people. They touch on education, techniques, and process. A common theme is the need to balance the need for human to think and the ability for machines to automate.

Share

COinS