swMATH28648MaRDI QIDQ40362FDOQ40362
scientific article; zbMATH DE number Author name (Why is no real title available?)
Official website: https://shemesh.larc.nasa.gov/fm/ftp/larc/PVS-library/
Source code repository: https://github.com/nasa/pvslib
(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
