Rodin tool (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Rodin tool" in English language version.

Last modified: 11:22:59, 5 June 2025 (UTC)

Ref.Un. Ref.Website

Global rank English rank

2^nd place

2^nd place

5,403^rd place

3,489^th place

low place

low place

21scienceopen.com

low place

low place

11southampton.ac.uk

low place

7,138^th place

low place

low place

low place

low place

low place

low place

11researchgate.net

96^th place

89^th place

clearsy.com (Global: low place; English: low place)

"B4free as a free-fo-all tool". ClearSy. Retrieved 13 June 2023.

doi.org (Global: 2^nd place; English: 2^nd place)

Abrial, Jean-Raymond, Michael Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, and Laurent Voisin. (2010). "Rodin: An open toolset for modelling and reasoning in Event-B". International Journal on Software Tools for Technology Transfer. 12: 447–466. doi:10.1007/s10009-010-0145-y.{{cite journal}}: CS1 maint: multiple names: authors list (link)
Leonova, Mariya Aleksandrovna, and Petr Nikolaevich Devyanin (2022). "Comparison of methods for modeling access control in OS and DBMS in Event-B for the purpose of their verification with Rodin and ProB tools". Prikladnaya Diskretnaya Matematika. Supplement 15: 90–99. doi:10.17223/2226308X/15/22.{{cite journal}}: CS1 maint: multiple names: authors list (link)

event-b.org (Global: low place; English: low place)

wiki.event-b.org

"Event-B and Rodin Documentation Wiki". wiki.event-b.org. Retrieved 13 June 2023.
"Modularisation Plug-in". wiki.event-b.org. Retrieved 13 June 2023.

hhu.de (Global: low place; English: low place)

prob.hhu.de

"What is ProB?". prob.hhu.de. Germany: University of Düsseldorf. Retrieved 13 June 2023.

ncl.ac.uk (Global: 5,403^rd place; English: 3,489^th place)

rodin.cs.ncl.ac.uk

"RODIN: Rigorous Open Development Environment for Complex Systems". UK: Newcastle University. Retrieved 13 June 2023.
"Project IST-511599 RODIN "Rigorous Open Development Environment for Complex Systems"" (PDF). UK: Newcastle University. Retrieved 13 June 2023.

researchgate.net (Global: 96^th place; English: 89^th place)

"The Brama animator for RODIN". ResearchGate.net. Retrieved 13 June 2023.

scienceopen.com (Global: low place; English: low place)

Butler, Michael, and Stefan Hallerstede (2007). The Rodin formal modelling tool (PDF). FACS 2007 Christmas Workshop: Formal Methods in Industry. pp. 1–5.{{cite conference}}: CS1 maint: multiple names: authors list (link)

southampton.ac.uk (Global: low place; English: 7,138^th place)

Butler, Michael. "RODIN – the next generation refinement tools" (PDF). UK: University of Southampton. Retrieved 13 June 2023.

uml-b.org (Global: low place; English: low place)

"UML-B: Dependable Systems Modelling Language". uml-b.org. Retrieved 13 June 2023.