TY  - RPRT
TI  - IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper)
AU  - Brat, Guillaume P.
AU  - Laserna, Jorge A.
AU  - Shi, Nija
AU  - Venet, Arnaud Jean
PY  - 2014
UR  - https://ntrs.nasa.gov/citations/20140012995
ID  - 20140012995
ER  -