Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

10 relations
Automated theorem provingCommon LispDependent typeFormal methods

Broader (1)

Lisp

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Optimal Scheduling of Microgrid with Multiple Distributed Resources Using Interval Optimization
In this paper, an optimal day-ahead scheduling problem is studied for a microgrid with multiple distributed resources. For the… 
Highly Cited
2013
Highly Cited
2013
An Improved Soft-Switching Buck Converter With Coupled Inductor
This letter presents a novel topology for a buck dc–dc converter with soft-switching capability, which operates under a zero… 
2012
2012
Clustering the Mixed Numerical and Categorical Datasets using Similarity Weight and Filter Method
Clustering is a challenging task in data mining technique. The aim of clustering is to group the similar data into number of… 
2007
2007
Improved in-plane visibility of tumors using breast tomosynthesis
The purpose of this work was to evaluate and compare the visibility of tumors in digital mammography (DM) and breast… 
2006
2006
Layer-by-layer deposition of polydiacetylene vesicles and linear poly(sulfonates)
ConclusionsWe have prepared a multi-layered polydiacetylene vesicles on a glass substrate employing a layer-by-layer deposition… 
Review
2005
Review
2005
A geosemantic proximity-based prototype for the interoperability of geospatial data
2000
2000
Real-time reactive system development: a formal approach based on uml and pvs
The notion of real-time reactive behavior encompasses concurrency, communication through sensors and actuators, and relations… 
1999
1999
The Priority Ceiling Protocol : Formalization and Analysis Using PVS
Common real-time operating systems rely on priority-based, preemptive scheduling. Resource sharing in such systems potentially… 
1998
1998
Automated integrative analysis of state-based requirements
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any… 
1978
1978
Effects of potato virus S and two strains of potato virus X on yields of Russet Burbank, Kennebec, and Katahdin cultivars in Maine
Yields of cultivars Russet Burbank, Kennebec, and Katahdin, as affected by potato virus S (PVS) alone and combined with either a… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)