Usable Verification: Balancing Thinking and Automating

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.