Lemma Suggesting in PVS using Machine Learning

Kyle Nguyen; Mariano Moscato; J Tanner Slagel

NASA NTRS · 20205005258

Lemma Suggesting in PVS using Machine Learning

Kyle Nguyen·Mariano Moscato·J Tanner Slagel

View original source ↗Export metadata ↓

Abstract

The source did not provide an abstract. Follow the original record for more information.

Explore related subjects

prototyped verification system lemma suggesting machine learning deep learning

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Kyle Nguyen, Mariano Moscato, J Tanner Slagel. 2020-08-05. Lemma Suggesting in PVS using Machine Learning. https://ntrs.nasa.gov/citations/20205005258

Cite the original work for its findings. Save a collection to share your selection of sources.