Search Sciweavers | Sciweavers

11 search results - page 1 / 3

» cav 1999

101

Voted

CAV
1999
Springer

85views Hardware» more CAV 1999»

PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols

15 years 8 months ago

Download ti.arc.nasa.gov

Johann Schumann

claim paper

Read More »

101

Voted

CAV
1999
Springer

108views Hardware» more CAV 1999»

Abstract and Model Check While You Prove

15 years 8 months ago

Download www.csl.sri.com

Hassen Saïdi, Natarajan Shankar

claim paper

Read More »

106

click to vote

CAV
1999
Springer

90views Hardware» more CAV 1999»

Linking Theorem Proving and Model-Checking with Well-Founded Bisimulation

15 years 8 months ago

Download www.cs.utexas.edu

Panagiotis Manolios, Kedar S. Namjoshi, Robert Sum...

claim paper

Read More »

click to vote

CAV
1999
Springer

78views Hardware» more CAV 1999»

Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems

15 years 8 months ago

Download mtc.epfl.ch

Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajama...

claim paper

Read More »

click to vote

CAV
1999
Springer

85views Hardware» more CAV 1999»

Java Bytecode Verification by Model Checking

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers