Technology transfer: Formal analysis, engineering, and business value
We present an experience report on model checking adoption in industry. We explain some of the key motivational drivers in industry. We highlight how model checking and static analysis can be used on a large scale. We present the key technology of the Goanna tool. We report on the engineering challenges for tool adoption.
experience report model checking static analysis smt solving industrial application