1129 search results - page 49 / 226 » Formal Verification of Websites |
DAC
2006
ACM
15 years 5 months ago
2006
ACM
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
121
click to vote
PERCOM
2010
ACM
14 years 9 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 ...
109
click to vote
ISICT
2003
15 years 1 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
129
click to vote
FTRTFT
1992
Springer
15 years 3 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...
FM
2009
Springer
15 years 6 months ago
2009
Springer