Towards Automated Safety Vetting of PLC Code in Real-World Plants
by Mu Zhang and
Chien-Ying Chen and
Bin-Chou Kao and
Yassine Qamsane and
Yuru Shao and
Yikai Lin and
Elaine Shi and
Sibin Mohan and
Kira Barton and
James R. Moyne and
Z. Morley Mao