标签
This tweet thread discusses the success of .NET in embedded systems via PLCnext Technology's eCLR runtime, and highlights the PLCnext ROS Bridge that enables hardware interoperability between industrial PLCs and ROS for robotic applications.
本文提出了ESBMC-PLC，这是首个原生支持IEC 61131-3梯形图程序并使用基于SMT的模型检查的开源形式化验证器，实现了对安全关键工业控制逻辑的自动化验证。