Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,167,412 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Automated theorem proving
Common Lisp
Dependent type
Formal methods
Expand
Broader (1)
Lisp
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Development and Test of High Resolution Cavity BPMs for the CLIC Main Beam Linac
J. Towler
,
S. Boogert
,
B. Fellenz
,
T. Lefevre
,
A. Lyapin
,
M. Wendt
2016
Corpus ID: 55137258
The main beam of the Compact LInear Collider (CLIC) requires the beam trajectory to be measured with 50 nm spatial resolution. It…
Expand
2015
2015
Particle Swarm Optimization based K-Prototype Clustering Algorithm
K. Prabha
,
Karthi Natesan
,
K. Visalakshi
2015
Corpus ID: 8247749
Clustering in data mining is a discovery process that groups a set of data so as to maximize the intra- cluster similarity and to…
Expand
2013
2013
Automated theorem proving for the systematic analysis of interactive systems
M. Harrison
,
P. Masci
,
J. C. Campos
,
P. Curzon
2013
Corpus ID: 18319499
This paper discusses the role of automated theorem proving in analysing properties of interactive behaviour. It builds on…
Expand
2011
2011
Institutionalising UML 2.0 state machines
Daniel Calegari
,
Nora Szasz
Innovations in Systems and Software Engineering
2011
Corpus ID: 21959132
A key challenge to achieve a unified semantics for UML is how to handle the heterogeneity of its sublanguages. In this context…
Expand
2000
2000
Active distributed management for IP networks
R. Kawamura
,
R. Stadler
IEEE Communications Magazine
2000
Corpus ID: 61775083
We argue that a management platform for the future Internet has to be inherently distributed and programmable. This motivates us…
Expand
2000
2000
Support for Teaching Formal Methods Report of the ITiCSE 2000 Working Group on Formal Methods Education
V. Almstrum
,
Don Goelman
,
T. Hilburn
,
Jan Smith
2000
Corpus ID: 3140132
This report describes a growth path for the area referred to as formal methods within the computing education community. We…
Expand
2000
2000
Real-time reactive system development: a formal approach based on uml and pvs
V. Alagar
,
D. Muthiayen
2000
Corpus ID: 57785392
The notion of real-time reactive behavior encompasses concurrency, communication through sensors and actuators, and relations…
Expand
1999
1999
The Priority Ceiling Protocol : Formalization and Analysis Using PVS
B. Dutertre
1999
Corpus ID: 16588608
Common real-time operating systems rely on priority-based, preemptive scheduling. Resource sharing in such systems potentially…
Expand
1985
1985
A contribution to the maintenance of phytopathogenic virus strains on tissue culture plantlets
G. Schenk
,
K. Neitzel
Potato Research
1985
Corpus ID: 37929274
SummaryThe long-term maintenance of phytopathogenic viruses on potato and tobacco tissue culture plantlets was investigated…
Expand
1983
1983
Some properties of an unusual isolate of potato virus S
D. Rose
Potato Research
1983
Corpus ID: 28556644
SummaryAn isolate confirmed as potato virus S (PVS) discovered during routine quarantine testing of potato material from the…
Expand