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

立即访问 收藏

资源简介

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

相关资源

drinkdirect.ch | dein Onlineshop für Spirituosen
drinkdirect.ch - dein Onlineshop für Spirituosen und Know-How. Entdecke das grosse Sortiment an Vodkas, Whiskys, Rums, Liköre und vieles mehr. Drinkdirect.ch 是瑞士领先的在线酒类商店，提供种类繁多的葡萄酒、烈酒和啤酒。 该网站拥有超过 5,
查看更多相似资源 →

标签

absint abstract interpretation static analysis safety security critical software embedded real-time system formal verification verified compilation compiler analyzer WCET stack
对比 /4
去对比 → 再选 1 个