Skip to main navigation Skip to search Skip to main content

Honorable mention award

  • Ayala-Rincón, M. (Recipient), de Lima, Thaynara Arielly (Recipient), Dias Lima, Maria Júlia (Recipient), Moscato, Mariano Miguel (Recipient) & Kutsia, Teimuraz (Recipient)

Prize: Prize, award or honor

Description

Honorable mention award for the paper: M. Ayala-Rincón, T.A. de Lima, M.J. Dias Lima, M. Moscato, T. Kutsia. Verification of an Anti-Unification Algorithm in PVS. NFM 2025 – 17th NASA Formal Methods Symposium. Williamsburg, VA, USA, June 11-14, 2025
Awarded date2025