ARCADE: Aachen Rigorous Code Analysis and Debugging Environment
The artshop model repository