Message sequence charts are a widely used notation to express requirements specifications
of multi-agent systems. The semantics of message sequence charts can be defined …

During the past few years there has been an dramatic upsurge in research and
development, implementations of new technologies, and deployments of actual solutions …

Theoretical foundations of requirements formalization and verification based on basic
protocols are presented. This approach uses the concept of an attributed transition system …

The paper relates to the theoretical and practical aspects of insertion modeling. Insertion
modeling is a theory of agents and environments interaction where an environment is …

The paper deals with state-of-the-art trends in the field of automated hardware development,
specifically development of digital systems using programmable logic integrated circuits, as …

Insertion modeling has been developed over the last decade as an approach to a general
theory of interaction between agents and an environment in complex distributed multiagent …

Abstract Models specified in the language of basic protocols are considered. These models
are attribute transition systems, and their states are defined by formulas of multisort first …

The paper relates to practical aspects of insertion modeling. Insertion modeling system is an
environment for the development of insertion machines, used to represent insertion models …

This study introduces formal methods for detection of vulnerabilities in binary code. It
considers the transformation of binary code into behavior algebra expressions and …

Анотація У статті наведено огляд сучасних проблем кібербезпеки та проаналізовано
роль наукових досліджень у їх вирішенні. Зокрема, виокремлено два види досліджень …