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...
Main Authors: | , , , , , |
---|---|
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 |