Browsing by Keyword "Formal verification"

Now showing items 1-4 of 4

Title: Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions Author(s): Buzhinsky, Igor; Pakonen, Antti Date: 2019 Series: IEEE Access, Volume 7
Title: Plant Model Generator from Digital Twin for Purpose of Formal Verification Author(s): Xavier, Midhun; Håkansson, Johannes; Patil, Sandeep; Vyatkin, Valeriy Date: 2021-11-30 Series: Proceedings - 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2021
Title: SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers Author(s): Chukharev, Konstantin; Suvorov, Dmitrii; Chivilikhin, Daniil; Vyatkin, Valeriy Date: 2020 Series: IEEE Access, Volume 8
Title: Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems Author(s): Buzhinsky, Igor; Pakonen, Antti Date: 2020 Series: IEEE Access, Volume 8