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.
2016
2016
A System Substitution Mechanism for Hybrid Systems in Event-B
Changes like failure or loss of QoS are key aspects of hybrid systems that must be handled during their design. Preserving the… 
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
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… 
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… 
2008
2008
Validating Wireless Congestion Control and Reliability Protocols using ProB and Rodin
A hand held welding wire feeder that is small enough and shaped correctly to fit within a users hand. A thumb operated feed wheel… 
2008
2008
El humanismo en el liderazgo empresarial
M i querido paisano D . Migue l U n a m u n o decía que las verdades conviene, en ocasiones, proclamarlas con exageración. D e… 
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
Review
2001
Review
2001
The Combined Addiction Disease Chronologies of
In 1998, the Illinois General Assembly called upon the Illinois Department of Human Service’s Office of Alcoholism and Substance… 
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)