Sign up for Zulip
Competitions SV-COMP and Test-Comp
https://competition.zulipchat.com
This organization is for coordination of the organizers and participants of SV-COMP and Test-Comp.
The competition community around the two research tool competitions SV-COMP and Test-Comp consists of researchers, professors, postdocs, and students working in the area of formal methods.
They are interested in performing comparative evaluations of their research tools for formal verification and testing.
You need an invitation to join this organization.
OR
Already have an account? Log in