3 ms·

I think what flatestcat wants is something that actually functions and is proven to function correctly. Frama-C is yet another open source project that is long

I think what flatestcat wants is something that actually functions and is proven to function correctly. Frama-C is yet another open source project that is long on hype but woefully short on delivery of actual, working code.

dang 12y ago
Replying to oneself using a bunch of different accounts is an abuse of this site.