Companion Material for the PhD thesis "Formal Specification and Verification for Automated Production Systems"
收藏DataCite Commons2023-11-15 更新2025-04-16 收录
下载链接：
https://radar.kit.edu/radar/en/dataset/muhOYnKqLuUUSaDv
下载链接
链接失效反馈官方服务：
资源简介：
This archive contains the evaluation for "Formal Specification and Verification for Automated Production Systems". In particular, you find evaluation environments for Chapter 7 (Evaluation (PART I - Generalized Test Tables)), 10 (Relational Test Tables), 11 (Provably Forgetting of Information), and 12 (Modular Regression Verification). For more details, refer to the READMEs of the individual sub-folders.
提供机构：
Karlsruhe Institute of Technology
创建时间：
2023-06-24
