Search Sciweavers | Sciweavers

480 search results - page 25 / 96

» On the verification of automotive protocols

click to vote

CADE
1997
Springer

153views Logical Reasoning» more CADE 1997»

Automatic Verification of Cryptographic Protocols with SETHEO

15 years 4 months ago

Download ti.arc.nasa.gov

Johann Schumann

claim paper

Read More »

click to vote

AMAST
2006
Springer

124views Software Engineering» more AMAST 2006»

Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues

15 years 3 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 »

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 3 months ago

Download www.cs.utah.edu

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

claim paper

Read More »

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 3 months ago

Download lvk.cs.msu.su

Hong Peng, Sofiène Tahar, Ferhat Khendek

claim paper

Read More »

click to vote

DAGSTUHL
2007

76views Software Engineering» more DAGSTUHL 2007»

Belief Change and Cryptographic Protocol Verification

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers