PVSio

swMATH12428MaRDI QIDQ24356FDOQ24356

Author name not available (Why is that?)

Official website: http://shemesh.larc.nasa.gov/people/cam/PVSio/

Cited In (4)

• Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems
• NASA PVS
• Formally verified tableau-based reasoners for a description logic
• Code-carrying theories

This page was built for software: PVSio