4 ms·

I’ve started working through the Verification series by EIT which have been challenging and interesting. If you’re interested in formal verification, check them

by exdsq 7y ago

I’ve started working through the Verification series by EIT which have been challenging and interesting. If you’re interested in formal verification, check them out.

manu3000 7y ago
Can you please post a link to this?