SpecCompiler Copyright 2026 Cristiano Lacerda

Developed as part of a MSc research at thhe Software Engineering Lab of 
ICMC-USP under the advisorship of Professor José Carlos Maldonado and in 
collaboration with the Gripen Design Development Network (SAAB/EMBRAER).