PVS
Last updated
, generated by Sumble
Explore more → **PVS**
What is PVS?
PVS (Prototype Verification System) is a specification and verification system developed by SRI International. It's a tool for constructing rigorously-checked formal specifications and proofs. It's used for formalizing mathematical theories and for the formal specification and verification of hardware and software systems, particularly in safety-critical areas.
What other technologies are related to PVS?
PVS Competitor Technologies
Azure Virtual Desktop
Azure Virtual Desktop is a competing Desktop-as-a-Service (DaaS) solution, that competes with CVAD, including PVS.
VMware
VMware offers competing virtualization solutions, such as VMware Horizon, that provide similar functionality to Citrix Virtual Apps and Desktops with PVS.
Number of organizations that mention technology
ⓘ Tap on a tech to explore matching organizations
PVS Complementary Technologies
MCS
Machine Creation Services (MCS) is a provisioning technology used alongside Citrix Virtual Apps and Desktops (CVAD) including PVS, to create and manage virtual machines.
Storefront
Citrix StoreFront provides authentication and resource delivery for Citrix Virtual Apps and Desktops. It is complementary to PVS.
WEM
Citrix Workspace Environment Management (WEM) optimizes user experience. It is a complementary technology to PVS.
Number of organizations that mention technology
ⓘ Tap on a tech to explore matching organizations
Which job functions commonly mention PVS?
Chip Designer
0.1% of all Chip Designer jobs mention PVS
View 113
jobs on Sumble
Infrastructure Engineer
0.1% of all Infrastructure Engineer jobs mention PVS
View 57
jobs on Sumble
Electrical Engineer
115 Electrical Engineer jobs mention PVS
View 115
jobs on Sumble
Administrator
229 Administrator jobs mention PVS
View 229
jobs on Sumble
Engineer
643 Engineer jobs mention PVS
View 643
jobs on Sumble
Which organizations are mentioning PVS?
General Dynamics Information Technology
Professional Services
See more or filter by date, location, industry, etc →
Summary powered by 
Sumble
Sumble Find the right accounts, contact, message, and time to sell
Whether you're looking to get your foot in the door, find the right person to talk to, or close the deal — accurate, detailed, trustworthy, and timely information about the organization you're selling to is invaluable.
Use Sumble to: