The VerCors Tool Set: Verification of Parallel and Concurrent Software.

Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn

Browse the full IFM paper archive.