> I expect it is also easier to verify the correctness of and find bugs in my diagram if someone were to want to.

This will vary on the language in which it is implemented, right?