@misc{indiciae227db13f8638,
  title = {IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper)},
  author = {Brat, Guillaume P. and Laserna, Jorge A. and Shi, Nija and Venet, Arnaud Jean},
  year = {2014},
  url = {https://ntrs.nasa.gov/citations/20140012995},
  note = {Source identifier: 20140012995}
}