News for hackers. Stuff that matters.

A comment on The SeL4 Foundation: What and Why. Parent comment

Re:The SeL4 Foundation: What and Why by wahern on Tuesday April 07, 2020 @02:40PM (#22806103)
How does Perfect Developer compare to Frama-C? Is it more capable or maybe simply more convenient for MISRA verification?

For the unfamiliar, see http://frama-c.com/ and https://en.wikipedia.org/wiki/Frama-C

[ Parent | on HN ]

There are no comments on this comment yet.