The following pages link to NASA PVS (Q40362):
Displaying 8 items.
- Verification of distributed systems with local-global predicates (Q432134) (← links)
- Complexity of fixed-size bit-vector logics (Q504997) (← links)
- Formalizing ring theory in PVS (Q1791143) (← links)
- Boosting the reuse of formal specifications (Q1791193) (← links)
- A graph library for Isabelle (Q2018659) (← links)
- Formally verified tableau-based reasoners for a description logic (Q2351147) (← links)
- Confluence of orthogonal term rewriting systems in the prototype verification system (Q2362205) (← links)
- A Formalized Theory for Verifying Stability and Convergence of Automata in PVS (Q3543661) (← links)