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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2005-2017
051020052017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
We briefly present the motivation, architecture and usage experience as well as proof statistics for a new Rodin Platform proof… (More)
  • table 1
Is this relevant?
2014
2014
Formal development in Event-B generally requires the validation of a large number of proof obligations. Some tools automatically… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • table 1
Is this relevant?
2012
2012
Formal development in Event-B generally requires the validation of a large number of proof obligations. Some automatic tools… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2011
2011
Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is… (More)
  • figure 1
  • figure 2
Is this relevant?
2011
2011
In this paper we present an approach to modelling, verification and testing for cell-like P-systems based on Event-B and the… (More)
  • table 1
  • table 2
  • figure 1
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… (More)
Is this relevant?
2008
2008
The B-method, as well as its offspring Event-B, are both formal methods used for the development of critical computer systems… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
2008
2008
Event-B is a formalism used for specifying and reasoning about complex discrete systems. The Rodin platform is a new tool for… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2007
2007
We present a software tool, the Rodin tool, for formal modelling in Event-B. EventB is a notation and method developed from the B… (More)
  • figure 1
  • table 1
Is this relevant?