Predicate Abstractions Memory Modeling Method with Separation into Disjoint Regions

Software verification is a type of activity focused on software quality control and detection of errors in software. Static verification is verification without the execution of software source code. Special software - tools for static verification - often work with program's source code. One o...

Full description

Bibliographic Details

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