3573 search results - page 257 / 715 » Reasoning about Codata |
133
click to vote
BIBE
2007
IEEE
15 years 11 months ago
2007
IEEE
āThis paper presents a study of possible extensions of Pathway Logic to represent and reason about semiquantitative and probabilistic aspects of biological processes. The underly...
130
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. We use the theorem prover Isabelle to formalise and machinecheck results of the theory of generalised substitutions given by Dunne and used in the B method. We describe t...
113
click to vote
ATAL
2007
Springer
15 years 10 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ļ...
122
Voted
CONTEXT
2007
Springer
15 years 10 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...
127
click to vote
ESOP
2007
Springer
15 years 10 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...