Event-B Based Formal Modeling of a Controller: A Case Study
Citations
6 citations
5 citations
2 citations
2 citations
2 citations
References
1,359 citations
"Event-B Based Formal Modeling of a ..." refers background or methods in this paper
...All the examples are well formalized with EventB notation and they are deadlock-free [1]....
[...]
...The basic events of the initial model START_FILL and STOP_FILL are formalized using Event-B notations and are bellowed [1, 2, 5]....
[...]
...Event-B [1] is a modeling language and its application range is versatile....
[...]
...The Event-B based formal modeling proposed by Jean-Raymond Abrial [1], is a top-down engineering approach consists of step-by-step refinement strategy....
[...]
...Jean-Raymond Abrial [1] in his book Modeling in Event-B system and software engineering discussed different applications developed using Event-B modeling....
[...]
64 citations
16 citations
14 citations
"Event-B Based Formal Modeling of a ..." refers background in this paper
...A case study of noise gear velocity is shown in this paper [9]....
[...]
14 citations
"Event-B Based Formal Modeling of a ..." refers background or methods in this paper
...We find an article about an aircraft landing system [8]....
[...]
...The refinements are verified by the RODIN tool [8]....
[...]