Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: In practice, verification engines have to solve many checkers in a very tight time budget, especially, when the system to be analyzed is large, with many coverage criteria. To cope with such a situation,  propose improved and light-ight verification techniques that are built over the state-of-the-art engines such as bounded model checking (BMC), induction, and guided-simulation (directed testing). Specifically,  propose using control state reachability (CSR) information-- obtained from a given software system--to strengthen our induction-based proof engine.  also propose identifying and using lighthouses (or guide-posts)--intermediate control states--to simplify and reduce BMC instances, and to guide a simulation engine.  schedule these engines suitably to maximize the resource utilization.  implemented our techniques in a tool ACE, and integrated it in an industry strength software verification platform F--Soft to provide a robust and precise analysis framework.  show effectiveness of ACE on several industry and public benchmarks in a comparative study.
['Malay K. Ganai', 'Weihong Li']
I am writing a research paper on a idea Bang for the buck: improvising and scheduling verification engines for effective resource utilization
[{"from": "human", "value": "I am writing a research paper on a idea Bang for the buck: improvising and scheduling verification engines for effective resource utilization"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: In practice, verification engines have to solve many checkers in a very tight time budget, especially, when the system to be analyzed is large, with many coverage criteria. To cope with such a situation,  propose improved and light-ight verification techniques that are built over the state-of-the-art engines such as bounded model checking (BMC), induction, and guided-simulation (directed testing). Specifically,  propose using control state reachability (CSR) information-- obtained from a given software system--to strengthen our induction-based proof engine.  also propose identifying and using lighthouses (or guide-posts)--intermediate control states--to simplify and reduce BMC instances, and to guide a simulation engine.  schedule these engines suitably to maximize the resource utilization.  implemented our techniques in a tool ACE, and integrated it in an industry strength software verification platform F--Soft to provide a robust and precise analysis framework.  show effectiveness of ACE on several industry and public benchmarks in a comparative study."}]