Log in to 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.
OR
Don't have an account?
Sign up
Don't have an account yet? You need to be invited to join this organization.