News for hackers. Stuff that matters.

A comment on Frama-C: Modular Analysis of C Programs. Parent comment

Re:Frama-C: Modular Analysis of C Programs by creata on Tuesday October 06, 2020 @10:35AM (#24698063)
What kind of properties did you use Frama-C to verify?
[ Parent | on HN ]

There are no comments on this comment yet.