项目描述 ：
This project was for a course at TU/e called System Validation. The goal was to create an architecture with parallel components and use formal model checking to evaluate the model. The use case is a simplified EUV wafer stepper from ASML.

高级语言：

项目主页：

项目地址: git://github.com/Ohara124c41/ASML-Wafer_Stepper.git

创建时间： 2019-01-16T17:42:46Z
项目社区：https://github.com/Ohara124c41/ASML-Wafer_Stepper
开源协议：MIT License
下载