73 search results - page 7 / 15 » VCC: A Practical System for Verifying Concurrent C |
ISCAS
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper studies the performance of selected chaos-based communication systems whose spectrum overlaps with that of conventional narrowband systems. Such a scenario may occur in...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
RTCSA
2008
IEEE
14 years 2 months ago
2008
IEEE
Control systems are typically designed assuming an ideal behavior of the computing infrastructure where controllers execute. In practice, however, in highly loaded computing syste...
IJCSA
2006
13 years 7 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...