Section: Partnerships and Cooperations
International Research Visitors
Internships
Visits to International Teams
Research Stays Abroad
F. Gilbert spent one month in the formal methods team at NASA Langley Research Center, to work with Cesar Munoz on the use of automated theorem provers to verify PVS proofs.