Introduction to CEGAR —Counter-Example Guided Abstraction Refinement

Introduction to CEGAR —Counter-Example Guided Abstraction Refinement

Precision, completeness and scalability of static verification tools have dramatically improved over the last decade. In particular, automatic checking of moderate-sized software systems has been made possible due to development of CEGAR — Counter-Example Guided Abstraction Refinement. This approach...

Full description

Bibliographic Details
Main Authors: M. U. Mandrykin, V. S. Mutilin, A. V. Khoroshilov
Format: Article
Language:English
Published: Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
Series:Труды Института системного программирования РАН
Subjects:
статическая верификация
предикатная абстракция
проверка моделей
уточнение абстракции по контрпримерам
интерполяция крейга
крупноблочное кодирование
Online Access:https://ispranproceedings.elpub.ru/jour/article/view/959

Internet

https://ispranproceedings.elpub.ru/jour/article/view/959

Similar Items