Guba A. Insertion modeling and verification of multithreaded systems

Українська версія

Thesis for the degree of Candidate of Sciences (CSc)

State registration number

0415U006115

Thesis Registration Form

0415U006115.pdf

Applicant for

Specialization

  • 01.05.01 - Теоретичні основи інформатики та кібернетики

13-11-2015

Specialized Academic Board

Д 26.194.02

V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine

Essay

The thesis is devoted to the development and research of formal models of multi-threaded systems. Formal semantics of UCM language in terms of the theory of agents and environments are described. Algorithm for test scenarios generation from UCM models is developed. Algorithm of splitting of UCM model states into concrete and symbolic parts and computations over them is developed. Verification algorithm that implements the method of searching of model invariants is developed.

Read more

Files

aref.doc

dis.doc

Similar theses

0421U102388

Nasirov Emil Mekhdiievych

Parallelization of non-negative huge sparse linguistic matrix and tensors factorization

0420U102355

Dudar Vyacheslav Vyacheslavovych

Training algorithms and invariance to geometric transformations of neural networks

0520U101700

Prytomanova Olga M.

Fuzzy problems of optimal set partitioning: theoretical bases, methods and algorithms for solving

0520U100242

Zavadskyi Ihor O.

Splittable codes and their applications

0520U100209

Rystsov Ihor

Application of algebraic automata theory to analysis of discrete dynamical systems.