Rodin swMATH ID: 7083 Software Authors: Abrial, J.R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L. Description: The Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. The platform is open source, contributes to the Eclipse framework and is further extendable with plugins. Homepage: http://www.event-b.org/install.html Keywords: mathematical proof; Event-B Related Software: ProB; Z; Circus; SPIN; Coq; z3; UNITY; csp2B; Dafny; Spec#; Isabelle/HOL; Isabelle; PRISM; JML; Eiffel; CASL; CoreASM; Atelier B; Simulink; ProofPower Cited in: 91 Documents all top 5 Cited by 180 Authors 5 Abrial, Jean-Raymond 5 Hoang, Thai Son 5 Leuschel, Michael 4 Ait-Ameur, Yamine 4 Banach, Richard 4 Hallerstede, Stefan 4 Schneider, Steve A. 4 Treharne, Helen 3 Bjørner, Dines 3 Méry, Dominique 3 Singh, Neeraj Kumar 2 Basin, David A. 2 Bodeveix, Jean-Paul 2 Börger, Egon 2 da Costa Cavalheiro, Simone André 2 Dupont, Guillaume 2 Ferrarotti, Flavio Antonio 2 Foss, Luciana 2 Graiet, Mohamed 2 Hamel, Lazhar 2 Ishikawa, Fuyuki 2 Kaliszyk, Cezary 2 Kobayashi, Tsutomu 2 Kuruma, Hironobu 2 Laleau, Régine 2 Mammar, Amel 2 Pąk, Karol 2 Pantel, Marc 2 Petre, Luigia 2 Ribeiro, Leila 2 Schewe, Klaus-Dieter 2 Sere, Kaisa 2 Smith, Graeme 2 Troubitsyna, Elena A. 2 Van den Bussche, Jan 2 Waldén, Marina 2 Zhu, Huibiao 1 Aceto, Luca 1 Aguirre, Nazareno M. 1 Alvaro, Peter 1 Amálio, Nuno 1 Ameloot, Tom J. 1 Aoki, Toshiaki 1 Bendisposto, Jens 1 Bertei, Alex 1 Bitterlich, Martin 1 Bodenmüller, Stefan 1 Boström, Pontus 1 Brunel, Julien 1 Bundy, Alan 1 Castro, Pablo F. 1 Cavalcanti, Ana 1 Chemouil, David 1 Chiba, Yuki 1 Cîrstea, Corina 1 Cirstea, Horatiu 1 Dalvandi, Mohammadsadegh 1 Dastani, Mehdi M. 1 de Putter, Sander 1 Degerlund, Fredrik 1 Déharbe, David 1 Demasi, Ramiro 1 Denecker, Marc 1 Devyanin, P. N. 1 Diaconescu, Denisa 1 Dima, Cătălin 1 Dobrikov, Ivaylo 1 Dong, Ruzhen 1 Dragomir, Iulia 1 Du, Chenglie 1 Dubut, Jérémy 1 Dunkelau, Jannik 1 Edmunds, Andrew 1 el Ayeb, Béchir 1 Faber, Johannes 1 Fares, Elie 1 Farrell, Marie 1 Fathabadi, Asieh Salehi 1 Filali, Mamoun 1 Francalanza, Adrian 1 Frappier, Marc 1 Gervais, Frédéric 1 González, Senén 1 Grall, Alexis 1 Grov, Gudmund 1 Hasuo, Ichiro 1 Heckel, Reiko 1 Hellerstein, Joseph M. 1 Hennicker, Rolf 1 Honiden, Shinichi 1 Huang, Runlei 1 Iliasov, Alexei 1 Ingólfsdóttir, Anna 1 Janin, David 1 Janssens, Gerda 1 Jifeng, He 1 Jones, Cliff B. 1 Katsumata, Shin-ya 1 Ke, Wei 1 Knapp, Alexander ...and 80 more Authors all top 5 Cited in 19 Serials 28 Formal Aspects of Computing 3 Science of Computer Programming 2 Theoretical Computer Science 2 Information and Computation 2 Journal of Automated Reasoning 2 Cybernetics and Systems Analysis 2 Formal Methods in System Design 2 Annals of Mathematics and Artificial Intelligence 2 Theory and Practice of Logic Programming 1 Acta Informatica 1 Computing 1 Fundamenta Informaticae 1 The Journal of Logic and Algebraic Programming 1 Lecture Notes in Computer Science 1 Logical Methods in Computer Science 1 Journal of Control Science and Engineering 1 Journal of Logical and Algebraic Methods in Programming 1 Journal of Membrane Computing 1 Prikladnaya Diskretnaya Matematika all top 5 Cited in 8 Fields 87 Computer science (68-XX) 22 Mathematical logic and foundations (03-XX) 5 Systems theory; control (93-XX) 2 General and overarching topics; collections (00-XX) 2 Biology and other natural sciences (92-XX) 1 History and biography (01-XX) 1 Group theory and generalizations (20-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year