The following pages link to A Brief Overview of PVS (Q3543645):
Displaying 10 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)
- The Implicit Calculus of Constructions as a Programming Language with Dependent Types (Q5458373) (← links)
- Proving the infeasibility of Horn formulas through read-once resolution (Q6558679) (← links)
- Operations on fixpoint equation systems (Q6597955) (← links)
