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