4224 search results - page 348 / 845 » Reasoning about Choice |
157
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we enrich FIEVeL (a modelling language for institutions amenable to model checking) with new constructs to describe norms and sanctions. Moreover, we present a speciļ...
174
click to vote
CONTEXT
2007
Springer
16 years 1 months ago
2007
Springer
Informal notions of context often imply much more than that captured in many computational formalisms of it. The view presented in this paper, built on our understanding of designi...
184
click to vote
ESOP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular veriļ¬cation. The technique uses history invariants, tw...
219
click to vote
ESORICS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We deļ¬ne a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
275
click to vote
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a ļ¬nely tuned race ...