News for hackers. Stuff that matters.
Re:The C Bounded Model Checker: Criminally Underused by pjmlp on Thursday February 01, 2024 @08:23AM (#39215644)
Even Denis himself has tried it [0], and failed to get enough people on WG14 to care.

What matters is if enough people in WG14 with voting rights care.

[0] - https://www.bell-labs.com/usr/dmr/www/vararray.pdf

There are no comments on this comment yet.