LuNA-Static-Analysis / LuNA-Static-Analysis-Repository

1 stars 0 forks source link

[Model Checking] Верификация циклов #147

Open VaccinoPower opened 1 month ago

VaccinoPower commented 1 month ago

В настоящее время циклы for и while транслируются в недетерминированное ветвление, игнорируя каждую итерацию по отдельности.

Варианты улучшения: