Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  give a hands-on introduction to the tools GNATtest and GNATprove, both developed at AdaCore in the Hi-Lite research project. They allow to do verification of Ada 2012 contracts through testing and formal verification, and also allow a combination of the results of both tools.   The tutorial will contain a very short introduction to Ada 2012, and attendees will write a small example on which they can play with GNATtest to develop test cases, and GNATprove to do some formal verification.
['Johannes Kanig']
I am writing a research paper on a idea Leading-edge ada verification technologies: combining testing and verification with GNATTest and GNATProve -- the hi-lite project
[{"from": "human", "value": "I am writing a research paper on a idea Leading-edge ada verification technologies: combining testing and verification with GNATTest and GNATProve -- the hi-lite project"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  give a hands-on introduction to the tools GNATtest and GNATprove, both developed at AdaCore in the Hi-Lite research project. They allow to do verification of Ada 2012 contracts through testing and formal verification, and also allow a combination of the results of both tools.   The tutorial will contain a very short introduction to Ada 2012, and attendees will write a small example on which they can play with GNATtest to develop test cases, and GNATprove to do some formal verification."}]