Search Sciweavers | Sciweavers

480 search results - page 22 / 96

» On the verification of automotive protocols

click to vote

FAABS
2004
Springer

138views Intelligent Agents» more FAABS 2004»

Formal Consistency Verification of Deliberative Agents with Respect to Communication Protocols

13 years 11 months ago

Download madeira.ls.fi.upm.es

The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...

Jaime Ramírez, Angélica de Antonio

claim paper

Read More »

click to vote

ICCD
2005
IEEE

78views Hardware» more ICCD 2005»

Formal Verification and its Impact on the Snooping versus Directory Protocol Debate

14 years 4 months ago

Download www.cis.upenn.edu

Milo M. K. Martin

claim paper

Read More »

click to vote

FMCAD
2009
Springer

100views Formal Methods» more FMCAD 2009»

Protocol verification using flows: An industrial experience

14 years 1 months ago

Download fmv.jku.at

John W. O'Leary, Murali Talupur, Mark R. Tuttle

claim paper

Read More »

click to vote

IFIP
2009
Springer

92views Programming Languages» more IFIP 2009»

Integrating Automated and Interactive Protocol Verification

14 years 1 months ago

Download www.brucker.ch

Achim D. Brucker, Sebastian Mödersheim

claim paper

Read More »

click to vote

HASE
2007
IEEE

83views Control Systems» more HASE 2007»

Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers