Oliveira, A., & Marques, J. 2025 Nov 4. Framework for Automated Verification and Correction of Model-Based Syntactic Conformance of Software Requirements Using AI. Companion Proceedings of the Brazilian Software Quality Symposium (SBQS). [Online] :