A framework for runtime verification of industrial process control systems.

Roope Savolainen, Seppo A. Sierla, Tommi Karhela, Tuomas Miettinen, Valeriy Vyatkin

Browse the full INDIN paper archive.