In contrast, there is increasing interest in producing proofs of correctness of such systems by automated means.
Priešingai, auga susidomėjimas tokių sistemų teisingo įrodymo gavimu naudojant automatizuotus būdus.