Complex sentence: PVS, or the Prototype Verification System, is a specification language integrated with support tools and a theorem prover, developed at the Computer Science Laboratory of SRI International, California, USA.
Split into simpler sentences: PVS, or the Prototype Verification System, is a specification language integrated with support tools and a theorem prover. It was developed at the Computer Science Laboratory of SRI International, California, USA.