← Back to context

Comment by mattalex

4 years ago

At what point does it just become easier to prove the semantics with e.g. VeriFast or frama-c?

0 comments

mattalex

Reply

No comments yet

Contribute on Hacker News ↗