ЗАСТОСУВАННЯ СОЛВЕРІВ Z3 В СИСТЕМІ ВЕРИФІКАЦІЇ PYTHON–ПРОГРАМ
Published in INFORMATION TECHNOLOGY AND SOCIETY • Aug 8, 2023
NobleIDNI8P968W364R870S154
Authors:,,
Василь КОСТИРКО
А. В. Костенко
Михайло ПЛЕША
Abstract
У роботі описана остання версія системи верифікації програм VerPro на мові Python. Для перевірки тотожної істинності умов верифікації вона доповнена застосуванням засобів популярної системи Z3 доведення теорем. Метою статті є опис нових можливостей системи VerPro, які їй надали солвери Z3. Наукова н...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!