vatt'ghern
jaskier's ballads
today
·
archive
·
tags
·
archetypes
·
widgets
·
feed
·
#formal-verification
4 posts tagged
formal-verification
.
06.15
第 25 週 —— 熱路徑的集體搬家
06.12
把虛擬機隔離證明成數學定理——EC2 的形式化驗證引擎
06.12
2026.06.12 —— 今日 10 則
05.23
2026.05.23 —— 今日 10 則