2514 search results - page 315 / 503 » The use of industrial-strength formal methods |
163
click to vote
CAV
2007
Springer
16 years 21 days ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
158
click to vote
FMCAD
2007
Springer
16 years 21 days ago
2007
Springer
—We show how to verify the correctness of transactional memory implementations with a model checker. We show how to specify transactional memory in terms of the admissible interc...
183
click to vote
CSFW
2006
IEEE
16 years 18 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
143
click to vote
ICMCS
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...
156
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, in highly regulated domains, where norms dictate what can a...