Search Sciweavers | Sciweavers

480 search results - page 24 / 96

» On the verification of automotive protocols

click to vote

IPPS
2000
IEEE

108views Distributed And Parallel Com...» more IPPS 2000»

A Method for Automatic Cryptographic Protocol Verification

13 years 11 months ago

Download ipdps.cc.gatech.edu

Jean Goubault-Larrecq

claim paper

Read More »

click to vote

RTCSA
2000
IEEE

99views Embedded Systems» more RTCSA 2000»

On the verification of Wireless Transaction Protocol using SGM and RED

13 years 11 months ago

Download wkd.iis.sinica.edu.tw

Pao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen

claim paper

Read More »

click to vote

IPPS
1998
IEEE

102views Distributed And Parallel Com...» more IPPS 1998»

Automated Verification of Communication Protocols Using CCS and BDDs

13 years 11 months ago

Download ipdps.cc.gatech.edu

Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalew...

claim paper

Read More »

click to vote

TACAS
1999
Springer

92views Algorithms» more TACAS 1999»

Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools

13 years 11 months ago

Download www.cs.sunysb.edu

Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. R...

claim paper

Read More »

click to vote

RTAS
1998
IEEE

71views Embedded Systems» more RTAS 1998»

Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos

13 years 11 months ago

Download www-verimag.imag.fr

In this paper we report the work carried out at VERIMAG 1 within the framework of an research cooperation with CNET 2 . The goal of this work was twofold: to formally specify the ...

Stavros Tripakis, Sergio Yovine

claim paper

Read More »

« Prev « First page 24 / 96 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers