VerCors: A Layered Approach to Practical Verification of Concurrent Software.

Afshin Amighi, Stefan Blom, Marieke Huisman

Browse the full PDP paper archive.