Search Sciweavers | Sciweavers

80 search results - page 6 / 16

» PVS

118

click to vote

CAV
1997
Springer

103views Hardware» more CAV 1997»

Construction of Abstract State Graphs with PVS

15 years 10 months ago

Download www.cs.ucla.edu

Susanne Graf, Hassen Saïdi

claim paper

Read More »

143

click to vote

CADE
1992
Springer

116views Logical Reasoning» more CADE 1992»

PVS: A Prototype Verification System

15 years 10 months ago

Download ix.cs.uoregon.edu

Sam Owre, John M. Rushby, Natarajan Shankar

claim paper

Read More »

138

click to vote

ESORICS
2000
Springer

92views Security Privacy» more ESORICS 2000»

Analysing Time Dependent Security Properties in CSP Using PVS

15 years 9 months ago

Download www.computing.surrey.ac.uk

Neil Evans, Steve Schneider

claim paper

Read More »

119

click to vote

RT
2000
Springer

87views Computer Graphics» more RT 2000»

Virtual Occluders: An Efficient Intermediate PVS Representation

15 years 9 months ago

Download www.cs.ucy.ac.cy

Vladlen Koltun, Yiorgos Chrysanthou, Daniel Cohen-...

claim paper

Read More »

129

click to vote

CLEIEJ
2008

64views more CLEIEJ 2008»

A Theory for Abstract Reduction Systems in PVS

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers