Geodesic

Volume 31 (2024) no. 1

Table of contents

Requirement patterns in deductive verification of poST programs
p. 6-31
Model checking programs in process-oriented IEC 61131-3 Structured Text
p. 32-53
On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems
p. 54-77
Minimal coverage of generalized typed inclusion dependencies in databases
p. 78-89
Application of deep neural networks for automatic irony detection in Russian texts
p. 90-101
NP-completeness of the Eulerian walk problem for a multiple graph
p. 102-114