124
click to vote
IFM
14 years 10 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...
126
Voted
IFM
15 years 7 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 ...
102
click to vote
IFM
14 years 10 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...
108
Voted
IFM
14 years 10 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...
IFM
15 years 7 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