Runtime Verification 2026

Regular Paper

GoCCT — a common platform for controlled concurrency testing in Go

E. Kassubek, M. Sulzmann

 Overview  Program

Sponsored by:

Formal Methods Europe