机译:FBDVerifier:对功能块图进行形式验证的反例的交互式可视化分析
Div. of Computer Science, Korea Advanced Institute of Science and Technology Republic of Korea;
Samsung Electronics Co. Ltd., Republic of Korea;
Dept. of Computer Science and Engineering, Korea University Republic of Korea;
Dept. of Nuclear and Quantum Engineering, Korea Advanced Institute of Science and Technology, Republic of Korea;
Div. of Computer Science and Engineering, Konkuk University Republic of Korea;
I&C and Human Factors Center, Korea Atomic Energy Research Institute Republic of Korea;
Dept. of Nuclear and Quantum Engineering, Korea Advanced Institute of Science and Technology, Republic of Korea;
function block diagram; formal verification; counter-example visualization; verilog translation; programmable logic controller; model checking;
机译:将IEC 61131-3功能框图转换为PVS,以便通过实时核应用进行形式验证
机译:对适用于IEC 61131-3的功能块的形式验证
机译:将功能框图转换为UPPAAL定时自动机以验证安全应用
机译:具有工具支持功能框图的正式验证方法:实践经验
机译:使用决策图对异步系统进行形式验证
机译:一种人机交互系统的形式化验证方法
机译:迈向IEC 61499功能框图验证
机译:V / sTOL'a'航空电子功能描述II。第4卷 - 附录 - 功能树块图。