Short answers
Model checking and related techniques are extremely promising for helping improve the quality of (some limited, but important kinds of) software requirements specifications
Improve confidence in a specification by iterative checking of a different “view” of the specification