Correctness Proofs, Model Checking, Theorem Proving, Program Analysis
"First, they ignore you, and then they mock you, then they fight you." - Says Charles Hoskinson
hackernoon.com·11h
Loading...Loading more...
Correctness Proofs, Model Checking, Theorem Proving, Program Analysis