Even today, formal verification is mainly a research area.
⇑ Translate the sentence above by Google ⇑
Related: mainly
Prev: The committee ruled against all-night opening mainly on safety grounds.
Next: The pike lives mainly in large rivers and lakes.
