On Deductive Verification of an Industrial Concurrent Software Component with VerCors.

Ral E. Monti, Robert Rubbens, Marieke Huisman

Browse the full ISoLA paper archive.