规范描述语言 meaning in English
specification description language
Examples
- The authors have formalized a specification language and logic - calculus in lf , together with useful lemmas , and a user - oriented syntax has been designed
在本文中，我们考虑并行系统的验证领域,并在lf中将特定论域的规范描述语言ccs和相关逻辑m - culculus形式化。