Verifying Regular Safety Properties of C Programs Using the Static Analyzer Goblint - View it on GitHub