REBUG.ai 研究员分享 Aristotle 形式验证演讲并赴海牙参加 HASE 研讨会

satnam6502 · x · 2026-11-11

研究员 satnam6502 在 REACH 2026 上做了关于使用 Aristotle 进行形式验证与正确电路综合(correct circuit synthesis)的演讲,随后前往荷兰海牙参加 HASE(High-Assurance Systems Engineering)研讨会,贡献关于可扩展形式验证以及规格(specification)编写挑战与方法的想法。

HASE 是专注于硬件与底层软件正确性/安全性验证技术的年度邀请制研讨会,通常与 ACM CCS 同址举办,议题涵盖微架构攻防、安全编译器、TEE、隔离与分区、可扩展形式验证等。HASE 2026 将于 2026 年 11 月 12-14 日在海牙举行。