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

15 years 1 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

15 years 6 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

15 years 4 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

15 years 4 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

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers