Rodin tool (English Wikipedia)

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

refsWebsite

Global rank English rank

2^nd place

2^nd place

4,362^nd place

3,162^nd place

low place

low place

1scienceopen.com

low place

low place

1southampton.ac.uk

low place

8,935^th place

low place

low place

low place

low place

low place

low place

1researchgate.net

120^th place

125^th place

clearsy.com

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

doi.org

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

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

prob.hhu.de

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

ncl.ac.uk

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

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

scienceopen.com

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

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

uml-b.org

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