Search Sciweavers | Sciweavers

480 search results - page 25 / 96

» On the verification of automotive protocols

132

click to vote

CADE
1997
Springer

153views Logical Reasoning» more CADE 1997»

Automatic Verification of Cryptographic Protocols with SETHEO

15 years 10 months ago

Download ti.arc.nasa.gov

Johann Schumann

claim paper

Read More »

141

click to vote

AMAST
2006
Springer

124views Software Engineering» more AMAST 2006»

Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues

15 years 9 months ago

Download pop-art.inrialpes.fr

Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J

Tristan Le Gall, Bertrand Jeannet, Thierry J&eacut...

claim paper

Read More »

135

click to vote

FMCAD
2006
Springer

77views Formal Methods» more FMCAD 2006»

Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee

15 years 9 months ago

Download www.cs.utah.edu

Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Chi...

claim paper

Read More »

136

click to vote

ICFEM
2000
Springer

93views Software Engineering» more ICFEM 2000»

SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol

15 years 9 months ago

Download lvk.cs.msu.su

Hong Peng, Sofiène Tahar, Ferhat Khendek

claim paper

Read More »

113

click to vote

DAGSTUHL
2007

76views Software Engineering» more DAGSTUHL 2007»

Belief Change and Cryptographic Protocol Verification

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers