Verifying specification conformity of C programs using the static analyzer Goblint