This device can verify the correctness of concurrent software, since 1991 freely available.
Цей пристрій може перевірити правильність розподіленого програмного забезпечення, оскільки він вільно доступний з 1991 року.