6581 search results - page 416 / 1317 » Formalizing Design Patterns |
351
click to vote
FM
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
217
click to vote
CRYPTO
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
148
click to vote
RSP
2005
IEEE
15 years 11 months ago
2005
IEEE
For cost-effective prototyping, system designers should have a clear understanding of the intended use of the prototype under development. This paper describes a classification of...
162
click to vote
MEMOCODE
2003
IEEE
15 years 11 months ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
171
click to vote
ISICT
2003
15 years 7 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...