140 search results - page 1 / 28 » Protocol verification using flows: An industrial experience |
FMCAD
2009
Springer
13 years 11 months ago
2009
Springer
FMCAD
2008
Springer
13 years 6 months ago
2008
Springer
A message flow is a sequence of messages sent among processors during the execution of a protocol, usually illustrated with something like a message sequence chart. Protocol design...
DATE
2000
IEEE
13 years 9 months ago
2000
IEEE
In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...
EVOW
1999
Springer
13 years 9 months ago
1999
Springer
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...
ESOP
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...