Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Prototype Verification System

Known as: PVS, PVS Specification and Verification System 
The Prototype Verification System (PVS) is a specification language integrated with support tools and an automated theorem prover, developed at the… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
This letter presents a novel topology for a buck dc–dc converter with soft-switching capability, which operates under a zero… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table I
Is this relevant?
Highly Cited
2012
Highly Cited
2012
Over the last decade, great progress has been made in developing practical transactional memory (TM) implementations, but… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2011
Highly Cited
2011
Abstract A new electricity-production concept attracted massive media attention in Sweden during 2008 when companies began… Expand
Is this relevant?
2006
2006
Classical automated theorem proving of today is based on ingenious search techniques to nd a proof for a given theorem in very… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
In this paper, we present the design and implementation of Smart Messages, a distributed computing platform for networks of… Expand
  • figure 2
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Decision procedures are at the core of many industrial-strength verification systems such as ACL2 [KM97], PVS [ORS92], or STeP… Expand
Is this relevant?
Highly Cited
2001
Highly Cited
2001
This dissertation describes research into the effective application of model checkers, smart computer programs which can be used… Expand
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 2.1
  • figure 2.2
Is this relevant?
Highly Cited
1998
Highly Cited
1998
We present a method for computing abstractions of infinite state systems compositionally and automatically. Given a concrete… Expand
Is this relevant?
Highly Cited
1998
Highly Cited
1998
A specification language used in the context of an effective theorem prover can provide novel features that enhance precision and… Expand
Is this relevant?
Highly Cited
1992
Highly Cited
1992
 
Is this relevant?