charts; formal verification; program debugging; program testing; reachability analysis; safety-critical software; software tools; State mate ModelChecker tool; formal verification; model checking; rail cross control; reachability analysis; safety-critical reactive s;
机译:用于测试和验证网络物理系统的正式要求调试
机译:使用来自许多不同类型源的数据调试和测试复杂的信息处理系统的模型台
机译:软件调试,测试和验证
机译:使用验证进行复杂无功系统的测试和调试
机译:用于VLSI设计的逻辑验证和调试系统
机译:通过临床工作记忆测试验证的特定于形式的工作记忆系统
机译:集成和工具支持的测试,调试和验证教学