65 citations · 129 across the 4 of their papers we have counts for
1 paper · 1 filter
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…