NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Using Computational Reflection in PVSComputational reflection is a well-known and powerful way to speed up the proof process in an interactive theorem prover. This presentation introduces the concept using PVS, and showcases 2 of the strategies using the method.
Document ID
20210023170
Acquisition Source
Langley Research Center
Document Type
Presentation
Authors
Aaron Dutle
(Langley Research Center Hampton, Virginia, United States)
Date Acquired
October 21, 2021
Subject Category
Computer Programming And Software
Meeting Information
Meeting: Berry College Invited Presentation
Location: Rome, GA
Country: US
Start Date: October 26, 2021
Sponsors: Berry College
Funding Number(s)
WBS: 340428.02.20.07.01
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Technical Review
Single Expert
Keywords
formal methods
computational reflection
No Preview Available