3742 search results - page 444 / 749 » On the Use of Formal Techniques for Validation |
163
click to vote
CAV
2007
Springer
16 years 26 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...
162
click to vote
GPCE
2007
Springer
16 years 26 days ago
2007
Springer
Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. The principal attraction of MMS is ...
196
click to vote
PROVSEC
2007
Springer
16 years 24 days ago
2007
Springer
In a threshold broadcast encryption scheme, a sender chooses (ad-hoc) a set of n receivers and a threshold t, and then encrypts a message by using the public keys of all the recei...
177
click to vote
TLCA
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
164
click to vote
CAV
2005
Springer
16 years 7 days ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...