4340 search results - page 435 / 868 » Formal Methods and Cryptography |
200
click to vote
IFM
2005
Springer
16 years 10 days ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
185
click to vote
AMAST
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
183
click to vote
ATAL
2004
Springer
16 years 7 days ago
2004
Springer
There is a need for agent systems that can scale to realworld applications, yet retain the clean semantic underpinning of more formal agent frameworks. We describe the SRI Procedu...
156
click to vote
ICFCA
2004
Springer
16 years 6 days ago
2004
Springer
The transfer of tacit knowledge is important in ensuring that an organisations most valuable assets do not walk out the door. While much controversy surrounds the definition of ta...
177
click to vote
ICFEM
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...