Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
Alt-ErgoB-MethodEclipseHigh-level programming language

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Partial restoration of isospin symmetry for neutrinoless double beta decay in the deformed nuclear system of $^{150}$Nd
In this work, we calculate the matrix elements of $0\nu\beta\beta$-decay of $^{150}$Nd with the deformed pn-QRPA method. We… 
2013
2013
Applying Model Transformation and Event-B for Specifying an Industrial DSL
In this paper we describe our experience in applying the Event-B formalism for specifying the dynamic semantics of a real-life in… 
2010
2010
Taraxacum koksaghyz Rodin definitely is not an example of overcollecting in the past. A reply to S. Volis et al. (2009)
Conclusions presented by VOLIS et al. , J. Appl. Bot. Food. Qual. 83, 60-63 (2009) are shown to be incorrect. VOLIS et al… 
2010
2010
Relevance filters for event-B
Unnecessary hypotheses, that are not required to find a proof of the goal, often prevent an automated theorem prover (ATP) from… 
2010
2010
Self-Recovering Sensor-Actor Networks
Wireless sensor-actor networks are a recent development of wireless networks where both ordinary sensor nodes and more… 
Highly Cited
2009
Highly Cited
2009
2 Challenges and Experiences in Formal Development of Onboard Software
Recently, Space Systems Finland has undertaken formal Even t B development of a part of on-board software for the BepiColombo spa… 
2009
2009
Refinement-Based Guidelines for Algorithmic Systems
The correct-by-construction approach can be supported by a progressive and incremental process controlled by the refinement of… 
2007
2007
Justifications for the Event-B Modelling Notation
Event-B is a notation and method for discrete systems modelling by refinement. The notation has been carefully designed to be… 
2003
2003
Koncepce stranických rodin a její problematická aplikace na středoevropské modely - příklad stranického systému Republiky Slovinsko
1982
1982
Western films: A complete guide
This illustrated history traces the evolution of the guitar from the mouth bow to the Fender Stratocaster. Hittites, Egyptians… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)