Back to Results
First PageMeta Content
Software engineering / Computing / Software / Compilers / Compiler construction / Compiler optimizations / Abstract interpretation / LLVM / Programming language implementation / Intermediate representation / Polyspace / Static program analysis


IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper) Guillaume Brat, Jorge A. Navas, Nija Shi, and Arnaud Venet NASA Ames Research Center, Moffett Field, CAAbstract. The RTCA standar
Add to Reading List

Document Date: 2018-10-25 12:43:22


Open Document

File Size: 217,62 KB

Share Result on Facebook
UPDATE