NASA PVS

MaRDI QIDQ40362swMATHFDO

Official website https://shemesh.larc.nasa.gov/fm/ftp/larc/PVS-library/

Source code repository https://github.com/nasa/pvslib

Cited in

(11)

• Formalizing ring theory in PVS
• Boosting the reuse of formal specifications
• A graph library for Isabelle
• Formally verified tableau-based reasoners for a description logic
• Confluence of orthogonal term rewriting systems in the prototype verification system
• PVSio
• A Formalized Theory for Verifying Stability and Convergence of Automata in PVS
• Graph Theory
• TAME
• Verification of distributed systems with local-global predicates
• Complexity of fixed-size bit-vector logics

This page was built for software: NASA PVS