Додати до Chrome
✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
Select the correct verification method for the given description.
Perform symbolic execution of the code.
Formal Verification
Simulation
Control flow-based code analysis
AST-based code analysis
Отримайте необмежений доступ до відповідей на екзаменаційні питання - встановіть розширення Crowdly зараз!