Machine Learning for Ladder Logic Verification

Ensuring that the full state space is covered when using Model Based formal methods is a computationally expensive undertaking when using existing traditional techniques. This project will investigate the possibility of using machine learning system to identify effective approaches for state space exploration.