猜您还喜欢
Verifying Constant-time
4 分钟读完
Constant-time的验证方法们。
学术相关,每月Check!
1 分钟读完
Academic Conferences
SMT/SAT从0到0.1
少于 1 分钟读完
最近在学习一些关于SMT/SAT solver的东西,在这里简单总结一下。
符号和解释
少于 1 分钟读完
在被Coq折磨了快一个月后,终于我终于看完了Logic Foundation。作为Software Foundations系列书籍中的第一员大将,它还是有点东西的。这里只浅谈一下我对于符号和解释这两个概念所产生的更深的理解。正文部分基本不涉及任何与编程本身相关的问题。
留下评论