可用
-
[Varies]SPI上的组件监视日志 -
开发并实施一个程序来检测SPI总线上组件的故障 -
并发程序的验证 -
我们分析了一种验证并发程序的方法，并在我们的软件模型检查器ULTIMATE中实现了这种方法。 -
嵌入式平台的驱动程序验证概念 -
开发概念并调整验证工具，为特定嵌入式平台提供设备驱动程序的正式验证。 -
谓词和偏见——证明程序的正确性 -
如果一个程序是正确的，我们如何证明它？ 如何教机器做证明？ 在这个项目中，我们将检查小程序，手动证明其正确性，并开发方法来自动证明类似程序的正确性。 -
[M.Sc.Teamproject]案例研究：验证USB驱动程序 -
开发USB驱动程序，用于将特定嵌入式设备无缝连接到Windows PC。在PC端，驱动程序应通过WHQL质量标准。 -
[Varies]与终极工具相关的自动机理论和程序分析主题 -
不同网站上列出的几个主题。 这些主题范围从纯理论项目到软件开发项目。