Table 4 Initial reachability matrix Barriers 1 2 3 4 5 6 7 8 9 10 1. Inertia of employees 1 1 0 0 0 0 0 1 0 0 2. Avoidance of talking about risk 0 1 0 0 0 0 0 0 0 1 3. High cost of risk management 1 1 1 0 0 0 0 0 1 0 4. Lack of top management support 1 1 1 1 1 1 1 1 1 1 5. Lack of formal training to employees 1 1 1 0 1 1 0 1 0 1 6.
Lack of formal training to employees 5 4,5 5 VII Table 13 Level partition Iteration VIII Barriers Reachability set Antecedent set Intersection set level 1. Lack of top management support 4 4 4 VIII.
Lack of cooperation between employee and top management 5,7 4,5,6,7 5,7 V Table 11 Level partition Iteration VI Barriers Reachability set Antecedent set Intersection set level 1. Lack of top management support 4,5,6 4 4 2 2.
Table 6 Level partition Iteration I Barriers Reachability set Antecedent set Intersection set level 1. Inertia of employees 1,2,3,7,8,10 1,2,3,7,8,107,8,9,1,2,3,7,8,10,1,2,3,7,8,10
Program analysis via graph reachability.
"Minimum-Time Reachability in Timed Games".
Verifying Reachability in Networks with Mutable Datapaths.
approach is that of target set reachability.
Reachability Analysis of Lazy Linear Hybrid Automata".
"Minimum-time reachability in timed games".
Apple calls it "Reachability", which sounds like something out of an unsuccessful Mad Men all-nighter.
