A SPIN-based Approach for Detecting Vulnerabilities in C Programs

The C language is widely used for developing tools in various application areas, and a number of C software tools are used for critical systems, such as medicine, transport, etc. Correspondingly, the security of such programs should be thoroughly tested, i.e., it is important to develop techniques f...

Full description

Bibliographic Details
Main Authors: N. G. Kushik, A. . Mammar, A. . Cavalli, N. V. Yevtushenko, W. . Jimenez, E. . Montes De Oca
Format: Article
Language:English
Published: Yaroslavl State University 2011-12-01
Series:Modelirovanie i Analiz Informacionnyh Sistem
Subjects:
Online Access:https://www.mais-journal.ru/jour/article/view/1104