🌐

AbsInt: Static Analysis and Formal Verification of Safety-Critical Software

自1998年以来，AbsInt为静态分析和安全关键软件的形式验证提供独特的工具和服务。

🏷️ 标签

absint abstract interpretation static analysis safety security critical software embedded real-time system formal verification verified compilation compiler analyzer WCET stack

📋 详细信息

ID

W2qPBa1aOGBd

访问量

14

链接类型

url

创建时间

2026-08-28 02:06

更新时间

2026-09-25 19:13

审核状态

已审核