Towards deductive verification of C11 programs with Event-B and ProB.

Mohammadsadegh Dalvandi, Brijesh Dongol

Browse the full ECOOP paper archive.