В роботі досліджено методи для забезпечення ефективної діяльності користувача. Розроблено структуру автоматизованої системи для підтримки продуктивності людини. Для практичної реалізації використано стек технології MEAN, описано взаємодію його компонент. Реалізовано автоматизовані методи у вигляді додатку та визначено основні його переваги.
У статті досліджується природно-правове обґрунтування часу, а також часове обґрунтування природного права, що відображено в авторських дефініціях. Стверджуються, що час сприяє у набутті природно-надприродних цінностей, а проблеми людини може вирішувати онтологічно сформоване природне право, яке нею керує. У релігійному понятті часу природне право мало сакральний характер і розуміння часу диктувало формування природного права.
The paper presents the use of states of explosionproof method for analyzing the behavior of systems that provide smart contract technology. The selected example system is ShadowEth, whose main task is to ensure sufficient confidentiality of information stored in the Ethereum blockchain currency. The Petri network model for the ShadowEth system has been presented. The system properties according to the specifications have been defined. Properties described in a certain extension of the TCTL logic and verification have been carried out.