JC Knight, KS Hanks, SR Travis - … International Symposium on …, 2001 - ieeexplore.ieee.org
The relatively scant use of formal techniques in software development is the result, in part, of
a lack of suitable support tools. Many tools have been developed that provide novel analysis …