Verifying OCL Operational Contracts via SMT-based Synthesising.

Hao Wu, Joseph Timoney

Browse the full MODELSWARD paper archive.