|
|
|
|
|
|
by wilun
2980 days ago
|
|
|
Well, you are right, it is not really "formal verification". But I don't know how to call it, and it is way more checked on some aspects (well, obviously, we are not talking about checking each program against a spec...) that the competition. And by that, I mean that the competition is actually not even trying... |
|
|