Building Secure Systems using Programming Languages and Analysis

Microchex questions

  1. What are false negatives? Do they matter? How can you figure out a system’s false negatives?

  2. µchex shows that by ignoring parts of a language we can write effective checkers considerably more easily. Give another example or two of a domain or problem where ignoring certain things (i.e., approximating) may lead to more efficient but still effective solution.