Formalizing the dependency pair criterion for innermost termination
Almeida, Ariane Alves, Ayala-Rincón, Mauricio
Published in Science of computer programming (01.09.2020)
Published in Science of computer programming (01.09.2020)
Get full text
Journal Article
Formal Verification of Termination Criteria for First-Order Recursive Functions
Muñoz, Cesar A., Ayala-Rincón, Mauricio, Moscato, Mariano M., Dutle, Aaron M., Narkawicz, Anthony J., Almeida, Ariane Alves, da Silva, Andréia B. Avelar, Ramos, Thiago M. Ferreira
Published in Journal of automated reasoning (01.12.2023)
Published in Journal of automated reasoning (01.12.2023)
Get full text
Journal Article
Verification of hardware implementations through correctness of their recursive definitions in PVS
Alves Almeida, Ariane, Arias-Garcia, Janier, Llanos, Carlos H., Ayala-Rincon, Mauricio
Published in 2014 27th Symposium on Integrated Circuits and Systems Design (SBCCI) (01.09.2014)
Published in 2014 27th Symposium on Integrated Circuits and Systems Design (SBCCI) (01.09.2014)
Get full text
Conference Proceeding