最流行的并发模型检测器SPIN，是并发系统的形式化设计中的重要工具-Concurrent model of the most popular detector SPIN, is a formal design of concurrent systems in an important tool

Rebeca模型硬件设计形式化验证Rebeca model for formal verification of hardware design-Rebeca model for formal verification of hardware design