196
Voted
IFM
15 years 4 months ago
2009 Springer 
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
193
click to vote
IFM
16 years 1 months ago
2009 Springer
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...
194
click to vote
IFM
15 years 4 months ago
2009 Springer 
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
173
click to vote
IFM
15 years 4 months ago
2009 Springer 
This paper introduces action refinement in the context of CSP B. Our motivation to include this notion of refinement within the CSP B framework is the desire to increase flexibilit...
127
click to vote
IFM
16 years 1 months ago
2009 Springer
Abstract. Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented w...
|
Formal Methods