243 followers
Safety Verification and Refutation by k-Invariants and k-Induction. - Martin Brain, Saurabh Joshi 0001, Daniel… http://t.co/GuNoeNmKMr
Safety Verification and Refutation by k-Invariants and k-Induction. - Martin Brain, Saurabh Joshi 0001, Daniel… http://t.co/GuNoeNmKMr