2022

2022-04-20

ESBMC-An Efficient SMT-based Software Model Checker

• sec

• Security
• ESBMC

2022-04-08

软件安全备忘录：CERT C Coding Standard笔记

• sec

• Security
• Software Security

2022-04-01

软件安全备忘录：Mem Management

• sec

• Security
• Software Security

2022-03-30

Bounded Model Checking

• sec

• Security
• ESBMC

2022-03-10

计算机数理逻辑-一阶逻辑-SMT

• sec

• Security
• Automated Reasoning

2022-03-06

计算机数理逻辑-一阶逻辑-归结

• sec

• Security
• Automated Reasoning

2022-03-03

计算机数理逻辑-程序验证-协议安全分析

• sec

• Security
• Automated Reasoning

2022-02-26

西行漫记-其六

• essay

• 随笔

2022-02-25

计算机数理逻辑-一阶逻辑-逻辑编程

• sec

• Security
• Automated Reasoning

2022-02-24

计算机数理逻辑-时序逻辑-语法与语义

• sec

• Security
• Automated Reasoning