Browse by Type

Voisin, Laurent (2013) Mathematical Language of Event-B Proofs. [Rodin Archive]

Varpaaniemi, Kimmo (2011) Event-B Projects DSAOCSSv002 and DSAOCSSV003 with Special Files for ProB Classic. [Rodin Archive]

Varpaaniemi, Kimmo (2010) Event-B Project BepiColombo_Models_v6.4. [Rodin Archive]

Varpaaniemi, Kimmo (2010) Event-B Project DepSatSpec015Model000. [Rodin Archive]

Iliasov, Alexei and Laibinis, Linas and Troubitsyna, Elena (2010) An Event-B model of the Attitude and Orbit Control System. [Rodin Archive]

Laibinis, Linas and Troubitsyna, Elena (2009) Event-B Project Modes_v2. [Rodin Archive]

Ilic, Dubravka and Varpaaniemi, Kimmo (2009) Event-B Project BepiColombo_Models_v5.0. [Rodin Archive]

Said, Mar Yah and Butler, Michael and Snook, Colin (2009) Language and Tool Support for Class and State Machine Refinement in UML-B. [Rodin Archive]

Hoang, Thai Son and Basin, David and Kuruma, Hironobu and Abrial, Jean-Raymond (2009) Development of a Network Topology Discovery Algorithm. [Rodin Archive]

Butler, Michael (2009) Bosch switch mini-pilot. [Rodin Archive]

Edmunds, Andrew and Butler, Michael (2009) A Code Generation Example for Event-B: A Shared Channel with Concurrent Read/Writers. [Rodin Archive]

Hoang, Thai Son and Basin, David and Kuruma, Hironobu and Abrial, Jean-Raymond (2008) Link State Routing Development. [Rodin Archive]

Ilic, Dubravka and Varpaaniemi, Kimmo (2008) RODIN platform archive of SSF pilot (by SSF). [Rodin Archive]

Butler, Michael (2008) UML-B Version of SSF Mini-pilot. [Rodin Archive]

Rezazadeh, Abdolbaghi and Butler, Michael and Evans, Neil (2007) Redevelopment of an Industrial Case Study Using Event-B and Rodin. [Rodin Archive] (In Press)

Laibinis, Linas New Event-B Project for SSF Pilot. [Rodin Archive] (Unpublished)

Iliasov, Alexei Event-B Project SSF Mini-pilot. [Rodin Archive]

Laibinis, Linas and Troubitsyna, Elena Training material: A Simple Lyra Project. [Rodin Archive]

Laibinis, Linas and Troubitsyna, Elena Event-B Project SSF Mini-pilot (Aabo). [Rodin Archive]

Ilic, Dubravka and Varpaaniemi, Kimmo Event-B Models BepiColombo pilot (by SSF). [Rodin Archive]

Hoang, Thai Son Development of Question/Response Protocol with using pattern approach. [Rodin Archive]

Hoang, Thai Son Event-B model of the Buyer / Seller B2B Communication. [Rodin Archive]

Fürst, Andreas Event-B model of the Order/Supply Chain A2A Communication. [Rodin Archive]

Abrial, Jean-Raymond Doing Mathematics with the Rodin Platform. [Rodin Archive]

Pascal, Carine A-Style Decomposition Examples. [Rodin Archive]

Bendisposto, Jens and Leuschel, Michael Proof Assisted Model Checking for B. [Rodin Archive]

Hallerstede, Stefan Structured Event-B Models and Proofs. [Rodin Archive]

Hoang, Thai Son FindP Development using Decomposition. [Rodin Archive]

Hoang, Thai Son Specification of the Dining Cryptographers problem. [Rodin Archive]

Damchoom, Kriangsak An Incremental Refinement Approach to a Development of Flash File System in Event-B. [Rodin Archive]

Bryans, Jeremy W. Develpoment of the Floodset algorithm. [Rodin Archive]

Bryans, Jeremy W. Response Coalition Normative. [Rodin Archive]

Bryans, Jeremy W. Responsive Coalition Perturbed. [Rodin Archive]

Hudon, Simon and Hoang, Thai Son Development of a Signal Control System. [Rodin Archive]

Hoang, Thai Son Duelling Cowboys development (qualitative reasoning). [Rodin Archive]

Yilmaz, Emre and Hoang, Thai Son Rabin's Choice Coordination Development (qualitative reasoning). [Rodin Archive]

Hoang, Thai Son Herman's probabilistic self-stabilization development (qualitative reasoning). [Rodin Archive]

Hoang, Thai Son Proof of correctness for interface instantiation. [Rodin Archive]

Hoang, Thai Son A Club Management System. [Rodin Archive]