Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Verisoft [1] is a large coordinated project funded by the German Federal Government. The mission of the project is i) to develop the technology which permits the pervasive formal verification of entire computer systems consisting of hardware, system software, communication systems and applications ii) to demonstrate in collaboration with industry this technology with several prototypes. During the fall and winter of 02/03 this project was planned by a task force headed by the author.#R##N##R##N#This task force had to face issues very closely related to what  have discussed in Zurich and  have lived now with the decisions made early in the year 2003 for more than two years. Based on this-mostly positive-experience  make eight scientific, technological and administrative suggestions for the worldwide coordination of efforts in software verification.
['Wolfgang J. Paul']
I am writing a research paper on a idea Towards a Worldwide Verification Technology
[{"from": "human", "value": "I am writing a research paper on a idea Towards a Worldwide Verification Technology"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Verisoft [1] is a large coordinated project funded by the German Federal Government. The mission of the project is i) to develop the technology which permits the pervasive formal verification of entire computer systems consisting of hardware, system software, communication systems and applications ii) to demonstrate in collaboration with industry this technology with several prototypes. During the fall and winter of 02/03 this project was planned by a task force headed by the author.#R##N##R##N#This task force had to face issues very closely related to what  have discussed in Zurich and  have lived now with the decisions made early in the year 2003 for more than two years. Based on this-mostly positive-experience  make eight scientific, technological and administrative suggestions for the worldwide coordination of efforts in software verification."}]