Group colloquium: Concurrency Verification with VerCors

When: Jan. 10, 2019, 15:45-16:30

Where: Ravelijn 2503

Who: Wytse Oortwijn

In this talk I will give a short overview of the verification capabilities of the VerCors verifier. After that, I shall zoom in on two active projects in the context of VerCors: the verification of a parallel nested DFS algorithm, and the use of program abstractions in concurrency verification.