Methods of Software Verification

Methods of Software Verification

<p>This article is devoted to the problem of software verification (SW). Methods of software verification designed to check the software for compliance with the stated requirements such as correctness, system security and system adaptability to small changes in the environment, portability and...

Full description

Bibliographic Details
Main Authors: R. E. Gurin, I. V. Rudakov, A. V. Rebrikov
Format: Article
Language:Russian
Published: MGTU im. N.È. Baumana 2015-01-01
Series:Nauka i Obrazovanie
Subjects:
analysis
static
dynamic
interpretation
symbolic execution
model checking
Online Access:http://technomag.edu.ru/jour/article/view/158

Internet

http://technomag.edu.ru/jour/article/view/158

Similar Items