126 search results - page 2 / 26 » Formal Verification of FIRE: A Case Study |
EURODAC
1994
IEEE
14 years 3 months ago
1994
IEEE
ICFEM
2000
Springer
14 years 2 months ago
2000
Springer
PERCOM
2010
ACM
13 years 8 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
ACSC
2004
IEEE
14 years 2 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...
ENTCS
2008
13 years 11 months ago
2008
Well-designed interfaces use procedural and sensory cues to increase the salience of appropriate actions and intentions. However, empirical studies suggest that cognitive load can...