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.