/tools/verification/
../
dot2
models