Giters
Corina Pasareanu (corinus)

corinus

Geek Repo

22

followers

0

following

1

stars

Company:NASA and CMU CyLab

Home Page:https://ti.arc.nasa.gov/profile/pcorina/

Github PK Tool:Github PK Tool

Organizations
isstac
SymbolicPathFinder

Corina Pasareanu's starred repositories

ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

Language:C++License:NOASSERTIONStargazers:2026Issues:52Issues:220