On the Industrial Application of Critical Software Verification with VerCors.

Marieke Huisman, Ral E. Monti

Browse the full ISoLA paper archive.