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.
- Goblint (1304)
- Deagle (1211)
- Dartagnan (768)
- UAutomizer (756)
- UGemCutter (732)
- UTaipan (612)
- CPAchecker (400)
- Locksmith (226)
- Theta (205)
- ...