Login / Signup

Formal Verification of Complex Properties on PLC Programs.

Dániel DarvasBorja Fernandez AdiegoAndrás VörösTamás BarthaEnrique Blanco ViñuelaVíctor M. González Suárez
Published in: FORTE (2014)
Keyphrases
  • formal verification
  • program slicing
  • model checking
  • complex systems
  • model checker
  • high level
  • symbolic model checking
  • bounded model checking
  • automated verification
  • real world
  • imperative programs