Search Sciweavers | Sciweavers

11 search results - page 1 / 3

» cav 1999

click to vote

CAV
1999
Springer

85views Hardware» more CAV 1999»

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

13 years 11 months ago

Download ti.arc.nasa.gov

Johann Schumann

claim paper

Read More »

click to vote

CAV
1999
Springer

108views Hardware» more CAV 1999»

Abstract and Model Check While You Prove

13 years 11 months ago

Download www.csl.sri.com

Hassen Saïdi, Natarajan Shankar

claim paper

Read More »

click to vote

CAV
1999
Springer

90views Hardware» more CAV 1999»

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

13 years 11 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

13 years 11 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

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers