Login / Signup
Formal Analysis and Monitoring of Legacy Safety-Critical Interlocking Systems with the Use of Certified Industrial Tools.
Dalay Israel de Almeida Pereira
Florian Jamain
Thierry Lecomte
Published in:
FMICS (2024)
Keyphrases
</>
formal specification
formal methods
formal analysis
safety critical
model checking
nuclear power plant
safety analysis
regulatory requirements
knowledge based systems
monitoring system
learning process
fault tolerant