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.

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. ...