The verification facet addresses whether a tool provides support for formally verifying transformations with respect to properties such as correctness, consistency, completeness, termination, determinism/confluence, robustness, and definedness.
The verification facet addresses whether a tool provides support for formally verifying transformations with respect to properties such as correctness, consistency, completeness, termination, determinism/confluence, robustness, and definedness.