2687 search results - page 166 / 538 » Formal Analysis of PKCS |
124
click to vote
IJAIT
2006
15 years 4 months ago
2006
This article constitutes a contribution to an analysis of the notion of variable. Whithin the framework of Combinatory Logic as a formalism without bound variables, the Logic of D...
178
click to vote
JCSS
2011
14 years 11 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
118
click to vote
INFSOF
2010
15 years 2 months ago
2010
Program analysis techniques are used by software engineers to deduce and infer characteristics of software systems. Recent research has suggested that certain program analysis tec...
154
click to vote
SAS
2005
Springer
15 years 10 months ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
127
click to vote
WOSP
2004
ACM
15 years 9 months ago
2004
ACM
In this paper we present an original method of analysing the newlyrevised UML2.0 activity diagrams. Our analysis method builds on our formal interpretation of these diagrams with ...