Formal Methods: Foundations and Applications: 12th Brazilian