Oliveira, Arthur, AND Marques, Johnny. " 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], (4 November 2025)