Static Verification Tools for C Programs and Linux Device Drivers: A Survey
The survey considers methods and techniques used in modern static verification tools for C programs. It describes two main approaches Counter Example Guided Abstraction Refinement (CEGAR) and Bounded Model Checking (BMC) and techniques used to efficiently implement them such as Predicate Abstraction...
Збережено в:
| Автори: | , , , |
|---|---|
| Формат: | Artigo |
| Мова: | Inglês |
| Опубліковано: |
Russian Academy of Sciences, Ivannikov Institute for System Programming
2018-10-01
|
| Серія: | Труды Института системного программирования РАН |
| Предмети: | |
| Онлайн доступ: | https://ispranproceedings.elpub.ru/jour/article/view/1015 |
| Теги: |
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|