Predicate Abstraction

Predicate Abstraction? 那是什么?能吃吗?我曾经被它的标题欺骗过,以为它是那种把几个predicate抽象成一个,然后一个过了,大家就都过了 的这种意思.. 我还是太年轻啊

[Read More]

KLEE & Gcov

KLEE其实已经久仰大名了,在读The PhD Grind的时候就看的胆战心惊.. 这学期的CS510 Software Engineering课上终于可以一展真容了!

[Read More]

是你的明信片

为了回答知乎上的这个问题:「大家现在出去度假旅游还会发明信片(手信)给朋友和家人吗?为什么?你怎么看明信片?」,我也是拼了

[Read More]

清洁房间

回答知乎上的这个问题:「清理房间有哪些物美价廉的神器推荐?

[Read More]