A. providing frameworks
B. verifying systems
C. provide investors
D. both providing frameworks and verifying systems
✅ The correct answer is option D.
Explanation: A method is formal if it has a sound mathematical basis, typically given by a formal specification language
Explanation: A method is formal if it has a sound mathematical basis, typically given by a formal specification language