A model-driven engineering approach to formal verification of PLC programs.

Jean-Marie Farines, Max Hering de Queiroz, Vinicius G. da Rocha, Ana Maria M. Carpes, Franois Vernadat, Xavier Crgut

Browse the full ETFA paper archive.