9 citations · 14 across the 8 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2017
Translating Event-B machines to Eiffel programs
Victor Rivera, JooYoung Lee, Manuel Mazzara +1
Formal modelling languages play a key role in the development of software since they enable users to prove correctness of system properties. However, there is still not a clear und…
cs.SE2017
Initial steps towards assessing the usability of a verification tool
Mansur Khazeev, Victor Rivera, Manuel Mazzara +1
In this paper we report the experience of using AutoProof to statically verify a small object oriented program. We identified the problems that emerged by this activity and we clas…