A Prototypical Tool
Model Checking Algorithm
Model Checking Graph
>>> model_checking_graph = getModelCheckingGraph (tcc_structure ,
model_checking_atoms )
>>> model_checking_graph
{1: [], 2: [], 3: [9, 11, 12, 13, 15], 4: [10, 16, 14], 5: [], 6: [],
7: [9, 11, 12, 13, 15], 8: [10, 16, 14], 9: [], 10: [], 11: [9, 11,
12, 13, 15], 12: [10, 16, 14], 13: [25, 27, 28, 29, 31], 14: [26,
32, 30], 15: [], 16: [], 17: [25, 27, 28, 29, 31], 18: [26, 32,
30], 19: [], 20: [], 21: [25, 27, 28, 29, 31], 22: [26, 32, 30],
23: [], 24: [], 25: [], 26: [], 27: [9, 11, 12, 13, 15], 28: [10,
16, 14], 29: [25, 27, 28, 29, 31], 30: [26, 32, 30], 31: [], 32:
[]}
See
37 / 71