st2smv

A tool to convert Structured Text PLC code to an SMV model.


License
GPL-3.0+
Install
pip install st2smv==0.1.2