Programmable Logic Controllers; Instruction List Programs; Formal Verification; Model Checking;
机译:将模型检查应用于工业规模的PLC程序
机译:目标导向答案集编程中的动态一致性检查
机译:xplchk - 用于检查和验证X-Plor输入文件的可扩展程序
机译:直接模型检查IL中的PLC程序
机译:使用针对带有IL-2受体的T细胞的IL-2-光敏剂偶联物进行光动力疗法的体外模型。
机译:模型检查通过测试在孟德尔随机化和转录组合协会研究中的直接效应
机译:将模型检查应用于工业规模的PLC程序