Temporal logic specifications can be used to synthesize reactive systems by writing high-
level descriptions of desired behavior, without the need to manually program a complete …

Context. The problem of automated development of evaluation programs for the
neuroevolution of augmenting topologies. Neuroevolution algorithms apply mechanisms of …

Distributed systems are notoriously difficult to design and implement correctly. Although
formal methods provide rigorous approaches to verifying the adherence of a program to its …

Abstract [eng] Formal specifications are mathematical descriptions of the desired system
functionality. Since they are usually written separately from the software itself, it is important …

Метод. Методи та інструментальні засоби алгебри алгоритмів Глушкова та алгебри
гіперсхем застосовано для параметрично-керованої генерації програми оцінки …