Tag: Ariane Alves Almeida

Title: Formal Methods Seminar: “Automating Termination Proofs in PVS” Speaker: Ariane Alves Almeida, NIA visitor and PhD Candidate, University of Brasilia, Brazil Date: Friday, September 9, 2016 Time: 11:00am Location: NASA/LaRC, B1220, R110 Host: Cesar Munoz, NASA/LaRC Abstract: Each time a recursive function is specified in PVS, a decreasing measure over its arguments must be provided…