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)

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

This page was built for software: NASA PVS