Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The applicability of disjunctive Transition Relation decompositions in the context of symbolic model checking is researched. An algorithm that generates such decompositions is proposed and evaluated on the VIS benchmarks. The obtained decompositions are ll-balanced and the algorithm compares ll with IWLS'95.
['Stergios Stergiou', 'Jawahar Jain']
I am writing a research paper on a idea Disjunctive Transition Relation Decomposition for Efficient Reachability Analysis
[{"from": "human", "value": "I am writing a research paper on a idea Disjunctive Transition Relation Decomposition for Efficient Reachability Analysis"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The applicability of disjunctive Transition Relation decompositions in the context of symbolic model checking is researched. An algorithm that generates such decompositions is proposed and evaluated on the VIS benchmarks. The obtained decompositions are ll-balanced and the algorithm compares ll with IWLS'95."}]