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

15 years 1 months 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

15 years 1 months 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

15 years 1 months 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

15 years 1 months ago

Download www.cs.ucy.ac.cy

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

claim paper

Read More »

Voted

CLEIEJ
2008

64views more CLEIEJ 2008»

A Theory for Abstract Reduction Systems in PVS

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers