OCLVerifer: Automated verification of OCL contracts in requirements models

Paper Details

OCLVerifer: Automated verification of OCL contracts in requirements models

Authors

Peiye Yang, Li Zhang, Qin Li, Xiang Gao, Yilong Yang

Year

2025

Venue

Science of Computer Programming, 240: 103197

Type

Journal

Abstract

Abstract information will be added from the publication database. This detail page is prepared to present the paper problem, method, contribution, and evaluation evidence once the abstract is available.

Links