# Goblint documentation

Welcome to the Goblint project documentation! Here you may find *some* useful information about using and developing Goblint.

Below is a picture of *Wettlaufweltmeister*, the Goblint organization mascot. The ranking of verifiers in the Race Detection category at SV-COMP 2023 explains the name.

<img align="left" width="60%" src="img/wettlaufweltmeister.svg">

1. **Goblint (1304)**
2. Deagle (1211)
3. Dartagnan (768)
4. UAutomizer (756)
5. UGemCutter (732)
6. UTaipan (612)
7. CPAchecker (400)
8. Locksmith (226)
9. Theta (205)
10. ...
