Verifying Static Constraints on Models Using General Formal Verification Methods.

Norbert Somogyi, Gergely Mezei

Browse the full MODELSWARD paper archive.