Full bibliography
IKOS 2.1: an open source static analyzer for C and C++
Resource type
Web Page
Title
IKOS 2.1: an open source static analyzer for C and C++
Abstract
I would like to introduce IKOS: [https://github.com/NASA-SW-VnV/ikos](https://github.com/NASA-SW-VnV/ikos) ​ IKOS is a sound static...
Website Title
reddit
Short Title
IKOS 2.1
Accessed
12/12/18, 10:20 AM
Language
en
Citation
IKOS 2.1: an open source static analyzer for C and C++. (n.d.). Reddit. Retrieved December 12, 2018, from https://www.reddit.com/r/C_Programming/comments/a5a5nc/ikos_21_an_open_source_static_analyzer_for_c_and_c/
Link to this record