7 citations · 13 across the 5 of their papers we have counts for
1 paper · 2 filters
Paqui Lucio
This paper is a tutorial for newcomers to the field of automated verification tools, though we assume the reader to be relatively familiar with Hoare-style verification. In this pa…