NASA PVS
From MaRDI portal
Software:40362
swMATH28648MaRDI QIDQ40362FDOQ40362
Author name not available (Why is that?)
Source code repository: https://github.com/nasa/pvslib
Cited In (8)
- Verification of distributed systems with local-global predicates
- A graph library for Isabelle
- Confluence of orthogonal term rewriting systems in the prototype verification system
- Boosting the reuse of formal specifications
- Formalizing ring theory in PVS
- Formally verified tableau-based reasoners for a description logic
- Complexity of fixed-size bit-vector logics
- A Formalized Theory for Verifying Stability and Convergence of Automata in PVS
This page was built for software: NASA PVS
