Search Sciweavers | Sciweavers

80 search results - page 6 / 16

» PVS

click to vote

CAV
1997
Springer

103views Hardware» more CAV 1997»

Construction of Abstract State Graphs with PVS

14 years 21 days ago

Download www.cs.ucla.edu

Susanne Graf, Hassen Saïdi

claim paper

Read More »

click to vote

CADE
1992
Springer

116views Logical Reasoning» more CADE 1992»

PVS: A Prototype Verification System

14 years 19 days ago

Download ix.cs.uoregon.edu

Sam Owre, John M. Rushby, Natarajan Shankar

claim paper

Read More »

click to vote

ESORICS
2000
Springer

92views Security Privacy» more ESORICS 2000»

Analysing Time Dependent Security Properties in CSP Using PVS

14 years 4 days ago

Download www.computing.surrey.ac.uk

Neil Evans, Steve Schneider

claim paper

Read More »

click to vote

RT
2000
Springer

87views Computer Graphics» more RT 2000»

Virtual Occluders: An Efficient Intermediate PVS Representation

14 years 3 days ago

Download www.cs.ucy.ac.cy

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

claim paper

Read More »

click to vote

CLEIEJ
2008

64views more CLEIEJ 2008»

A Theory for Abstract Reduction Systems in PVS

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers