List Question
15 TechQA 2023-11-18T12:25:01.023000how to get the set of the two ends of the relation in set theory
54 views
Asked by PythonLee
how to handle multiple ordered pairs in Event-B
53 views
Asked by PythonLee
Rodin tool prover - transitivity
75 views
Asked by yehon
How to model an OIL_TANK
110 views
Asked by Jonte YH
How to populate a relation with an axiom in event b
137 views
Asked by call-me
Event-B total function proof obligation
237 views
Asked by Abeer
How to fix the unknown Configuration org.animb.valuation.valBase in my Rodin Platform Event-B project?
258 views
Asked by Master Q
Event-B Proof Obligations
245 views
Asked by Trình Lê Khánh
How to Visualise large number of code in Pro-B
92 views
Asked by jo di
Getting the prime/next state of a variable
127 views
Asked by NoClueBlue
Event-B, formal modelling : How to affect all the elements of a set to a relation
276 views
Asked by Dr.L
Event-B Rodin platform, Modelling Sub-Sets relation
806 views
Asked by Dr.L
Event B Total Function
439 views
Asked by dunika
Modelling Relation in Event-B
238 views
Asked by dunika