En particulier utilisation des méthodes formelles pour le développement et la vérification de systèmes électroniques.
System njikarịcha The ngwá ọrụ iji melite kọmputa arụmọrụ na idozi chinchi na usoro.