Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Rodin tool

The Rodin tool is a tool for formal modelling in Event-B. Event-B is a notation and method developed from the B-Method and is intended to be used… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
In this talk, we give an historical account of the development of the Rodin Platform during the last 10 years. 
Is this relevant?
2014
2014
Wireless sensor-actor networks are a recent development of wireless networks where both ordinary sensor nodes and more… Expand
Is this relevant?
2012
2012
Formal development in Event-B generally requires the validation of a large number of proof obligations. Some automatic tools… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2011
2011
We devise a theoretical foundation of directed rewriting, a term rewriting strategy for logics of partial functions, inspired by… Expand
  • table 1
  • table 2
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2010
Highly Cited
2010
A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to… Expand
Is this relevant?
2010
2010
Conclusions presented by VOLIS et al. , J. Appl. Bot. Food. Qual. 83, 60-63 (2009) are shown to be incorrect. VOLIS et al… Expand
Is this relevant?
2007
2007
We present a software tool, the Rodin tool, for formal modelling in Event-B. Event-B is a notation and method developed from the… Expand
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Whether animals are active at night or during the day has profound consequences for many aspects of their behavioral ecology… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 2
  • figure 4
Is this relevant?
1998
1998
Let \(\Omega \mathop \subset \limits_ \ne C\) be a simply-connected domain. The Rodin–Sullivan Theorem states that a sequence of… Expand
  • figure 5.1
Is this relevant?