The following pages link to PVS (Q16016):
Displaying 7 items.
- A light-weight framework for hardware verification (Q5953449) (← links)
- A case study in class library verification: Java's vector class (Q5953451) (← links)
- A first order logic for specification of timed algorithms: Basic properties and a decidable class (Q5957904) (← links)
- A timed verification of the IEEE 1394 Leader election protocol (Q5959853) (← links)
- Deriving efficient cache coherence protocols through refinement (Q5959861) (← links)
- Simple concurrent garbage collection almost without synchronization (Q5962117) (← links)
- Verifying safety critical task scheduling systems in PPTL axiom system (Q5963639) (← links)
