Elaboration of invariant safety properties from fault-tree analysis

Conference object English OPEN
Henry , Sébastien; Faure , Jean-Marc;
  • Publisher: HAL CCSD
  • Subject: [ SPI.AUTO ] Engineering Sciences [physics]/Automatic

International audience; Formal verification of PLC programs using model-checking requires to elaborate previously temporal logic formulae which state in a formal way the properties that must be checked. Unfortunately temporal logic is a formalism totally unknown by auto... View more
Share - Bookmark