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