Viewing profile — kjiuui774
kjiuui774
HN member- Joined
- Mon, Dec 28, 2020, 6:19 AM UTC
- HN karma
- 5
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About kjiuui774
No profile information was provided.
Recent public activity
-
comment
Comment #25557168
Have you ever tried C formal verification tools? Check out open source Frama-C https://frama-c.com which uses ACSL (ANSI/ISO C Specification Language). The free documentation and t…