The following publications are possibly variants of this publication:
- On Deductive Verification of an Industrial Concurrent Software Component with VerCorsRaúl E. Monti, Robert Rubbens, Marieke Huisman. ISoLA 2022: 517-534 [doi]
- The VerCors Tool Set: Verification of Parallel and Concurrent SoftwareStefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn. IFM 2017: 102-110 [doi]
- Verification of Concurrent Systems with VerCorsAfshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski. sfm 2014: 172-216 [doi]
- The VerCors Tool for Verification of Concurrent ProgramsStefan Blom, Marieke Huisman. FM 2014: 127-131 [doi]