138 reputation
7
bio website frama-c.com
location EU
age 39
visits member for 2 years, 4 months
seen 19 hours ago

I work on the static analysis of C programs.