formal languages; program testing; formal verification; automated checking; graphical formal modeling language; RDT; diagram construction; formal model; diagrammatic models; rigorous examination; Prometa code; SPIN model-checker;
机译:检查使用基于图形的形式化建模语言构建的模型
机译:通过模型检查自动进行视觉建模语言的形式验证
机译:神经系统语言:一种正式的建模语言,用于系统地描述,明确的交流和对神经连接的自动数字管理
机译:自动检查使用基于图形的正式建模语言建立的模型
机译:面向模型检查和性能评估的统一的正式语言。
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:自动检查使用基于图形的形式化建模语言构建的模型