Symmetry breaking in model checking of fault-tolerant nuclear instrumentation and control systems

HIGHLIGHTS

• who: Fault-Tolerant Nuclear Instrumentation and colleagues from the of Electrical Engineering, Aalto University, Espoo, Finland have published the research: Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems, in the Journal: (JOURNAL)
• what: The authors evaluate this approach on a case study that encompasses three safety functions allocated tolerance. [11], its contributions are: the authors propose a symmetry breaking approach for model checking of nuclear I and amp;C
• future: This approach has several limitations which might be addressed in future work VOLUME 8 2020 1) This work . . .
  

   

  

  If you want to have access to all the content you need to log in!

  Thanks :)

  Username or Email

  Password

  Remember me

  Lost your password?

  If you don't have an account, you can create one here.