Application of symbolic and bounded model checking to the verification of logic control systems.

K. Loeis, Mohammed Bani Younis, Georg Frey

Browse the full ETFA paper archive.