A. providing frameworks
B. verifying systems
C. provide investors
D. both providing frameworks and verifying systems
Explanation: A method is formal if it has a sound mathematical basis, typically given by a formal specification language
Correct Answer: providing frameworks ✔
Last Updated: February 06, 2019