SEARCH Articles Figures Tables Development Assurance process formal methods Formal kinetic evaluation method Formal methods problem domains Formal methods software testing Formal methods testing Formalized Methods Formalized Methods The Use of Formal Methods