Tag Archives: Formal Methods
-
SymPLe Architecture and Methodology: Achieving Verifiable and High Integrity Instrumentation and Control Systems Through Complexity Awareness and Constrained Design
Researchers developed innovative architectures and methods to “constrain complexity” to enhance verifiability of digital instrumentation and controls for nuclear power plants.
