Domain responsible for verifying a Shlaer-Mellor model against the shlaer-mellor-metamodel project.

Lee Riemenschneider 240ecd954f Made contact linkable %!s(int64=2) %!d(string=hai) anos
doc ed4076b5d9 Initial commit on new repository location. %!s(int64=6) %!d(string=hai) anos
shlaer-mellor_metamodel_verifier ed4076b5d9 Initial commit on new repository location. %!s(int64=6) %!d(string=hai) anos
CODE_OF_CONDUCT.md 240ecd954f Made contact linkable %!s(int64=2) %!d(string=hai) anos
LICENSE fb218bc195 Update license to AGPL %!s(int64=4) %!d(string=hai) anos
README.md ed4076b5d9 Initial commit on new repository location. %!s(int64=6) %!d(string=hai) anos

README.md

shlaer-mellor-metamodel-verifier

Domain responsible for verifying a Shlaer-Mellor model against the shlaer-mellor-metamodel project.