PVSio

MaRDI QIDQ24356swMATHFDO

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