This video presents the KCR syntax and the safety assessment which can be done by the KCR analyser. A simple example illustrates these analyses. The analysis of a more complex system is then done to demonstrate the efficiency of SMT-based cutsets enumeration.
