Anton Wijs and Maciej Wiłkowski present a paper involving VerCors at SEFM 2019

In Modular Indirect Push-Button Formal Verification of Multi-threaded Code Generators, Anton Wijs and Maciej Wiłkowski use VerCors to assist the verification of automated code generation of multi-threaded programs for model-driven development.