65 citations · 129 across the 4 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.SE2015★ 11 cited
The AutoProof Verifier: Usability by Non-Experts and on Standard Code
Carlo A. Furia, Christopher M. Poskitt, Julian Tschannen
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. In…
cs.LO2015★ 65 cited
AutoProof: Auto-active Functional Verification of Object-oriented Programs
Julian Tschannen, Carlo A. Furia, Martin Nordio +1
Auto-active verifiers provide a level of automation intermediate between fully automatic and interactive: users supply code with annotations as input while benefiting from a high l…