7 ms·
Program verification. E.g. when you want to prove that certain condition/path (e.g. asserts) is unreachable.
by ychen306 7y ago
Program verification. E.g. when you want to prove that certain condition/path (e.g. asserts) is unreachable.
loading thread…