Additionally, formal verification usability is an area of constant research, and the set of software for which it is the best ROI increases over time.