LeetCode - 40

Problem description

Read More

里斯本的倒影

Read More

LeetCode - 39

Problem description

Read More

LeetCode - 38

Problem description

Read More

二〇一八七月辑

我拼命得收集大雨后的湿气味
跟我的想象力放在一块
其实已经失去你
像是我不知如何开始这一天
太阳马上又要出现了

Read More

蓝眼睛与红眼睛(The blue-eyed islanders puzzle)

Read More

CBMC教程 (1) - 软件架构

Read More

CBMC教程 (3) - GOTO programs

Diffblue 团队在 CAV'18 发表了工具文章,JBMC。这个工具是 CBMC 的扩展,目的是验证 JAVA Bytecode。JBMC 的步骤和 CBMC 类似,也是前端处理程序,转换程序到公式,然后公式传递给求解器。

JBMC 的验证步骤:

Read More

CBMC教程 (2) - unwind loop

Read More

Git (教程) - request

Read More