Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Formal verification tools are often developed by experts for experts; as a result, their usability by programmers with little formal methods experience may be severely limited. ,  discuss this general phenomenon with reference to AutoProof: a tool that can verify the full functional correctness of object-oriented software. In particular,  present our experiences of using AutoProof in two contrasting contexts representative of non-expert usage. First,  discuss its usability by students in a graduate course on software verification, who re tasked with verifying implementations of various sorting algorithms. Second,  evaluate its usability in verifying code developed for programming assignments of an undergraduate course. The first scenario represents usability by serious non-experts; the second represents usability on “standard code”, developed without full functional verification in mind.  report our experiences and lessons learnt, from which  derive some general suggestions for furthering the development of verification tools with respect to improving their usability.
['Carlo A. Furia', 'Christopher M. Poskitt', 'Julian Tschannen']
I am writing a research paper on a idea The AutoProof Verifier: Usability by Non-Experts and on Standard Code
[{"from": "human", "value": "I am writing a research paper on a idea The AutoProof Verifier: Usability by Non-Experts and on Standard Code"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Formal verification tools are often developed by experts for experts; as a result, their usability by programmers with little formal methods experience may be severely limited. ,  discuss this general phenomenon with reference to AutoProof: a tool that can verify the full functional correctness of object-oriented software. In particular,  present our experiences of using AutoProof in two contrasting contexts representative of non-expert usage. First,  discuss its usability by students in a graduate course on software verification, who re tasked with verifying implementations of various sorting algorithms. Second,  evaluate its usability in verifying code developed for programming assignments of an undergraduate course. The first scenario represents usability by serious non-experts; the second represents usability on \u201cstandard code\u201d, developed without full functional verification in mind.  report our experiences and lessons learnt, from which  derive some general suggestions for furthering the development of verification tools with respect to improving their usability."}]