OLIVEIRA, Arthur H. M. de; MARQUES, Johnny. Framework for Automated Verification and Correction of Model-Based Syntactic Conformance of Software Requirements Using AI. In: WORKSHOP ON THESES AND DISSERTATIONS IN SOFTWARE QUALITY - BRAZILIAN SOFTWARE QUALITY SYMPOSIUM (SBQS), 24. , 2025, São José dos Campos/SP. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2025 . p. 7-14. DOI: https://doi.org/10.5753/sbqs_estendido.2025.15823.