The following pages link to A Brief Overview of PVS (Q3543645):
Displaying 7 items.
- PVS (Q16016) (← links)
- Theorem prover approach to semistructured data design (Q609020) (← links)
- Recursive tables and effective definition schemes (Q1858431) (← links)
- Formalization of ring theory in PVS. Isomorphism theorems, principal, prime and maximal ideals, Chinese remainder theorem (Q2069874) (← links)
- Compositional reasoning using intervals and time reversal (Q2251129) (← links)
- Validating QBF Validity in HOL4 (Q3088005) (← links)
- Proof normalization modulo (Q4650285) (← links)
