Login / Signup
Andréia B. Avelar
Publication Activity (10 Years)
Years Active: 2010-2023
Publications (10 Years): 2
Top Topics
Invited Talk
Theorem Proving
Recursive Functions
Formal Verification
Top Venues
ITP
LPAR
</>
Publications
</>
Mauricio Ayala-Rincón
,
Thaynara Arielly de Lima
,
Andréia B. Avelar
,
André Luiz Galdino
Formalization of Algebraic Theorems in PVS (Invited Talk).
LPAR
(2023)
César A. Muñoz
,
Mauricio Ayala-Rincón
,
Mariano M. Moscato
,
Aaron Dutle
,
Anthony J. Narkawicz
,
Ariane Alves Almeida
,
Andréia B. Avelar
,
Thiago Mendonça Ferreira Ramos
Formal Verification of Termination Criteria for First-Order Recursive Functions.
ITP
(2021)
Andréia B. Avelar
,
André Luiz Galdino
,
Flávio L. C. de Moura
,
Mauricio Ayala-Rincón
A Formalization of the Theorem of Existence of First-Order Most General Unifiers
LSFA
(2011)
Andréia B. Avelar
,
Flávio L. C. de Moura
,
André Luiz Galdino
,
Mauricio Ayala-Rincón
Verification of the Completeness of Unification Algorithms à la Robinson.
WoLLIC
(2010)