Towards Sophisticated Air Traffic Control System Using Formal Methods

Table 1

Rodin report (Table 1 is reproduced from Jarrar and Balouki, (under the Creative Commons Attribution License)) [13].

Element name	Total	Auto	Manual
Air traffic control	190	173	17
Initial context	5	5	0
First refinement context	9	9	0
Second refinement context	12	10	2
Initial machine	45	42	3
First refinement machine	66	58	8
Second refinement machine	53	49	4