Зображення обкладинки

Survey on modern tools and methods of formal models verification

A survey on methods for automatic verificatoin of formal models of software systems is presented. Verifiable properties, methods of reduction and modern verification tools are considered.

Збережено в:

Бібліографічні деталі
Дата:	2015
Автори:	Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.
Формат:	Стаття
Мова:	Російська
Опубліковано:	PROBLEMS IN PROGRAMMING 2015
Теми:	verificatoin of formal models
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/109
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)

Formal semantics and analysis of tokenomics properties
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)

Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)

Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)

Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2025)

Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)

Simple non-deterministic rewriting in verification
за авторством: Letichevsky, A., та інші
Опубліковано: (2010)

The software tool of constructive-synthesizing modeling
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
за авторством: A. V. Kolchin
Опубліковано: (2013)

Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.V.
Опубліковано: (2018)

Methods and tools for developing an information system for validation of non-formal learning outcomes
за авторством: Pryima, S.M., та інші
Опубліковано: (2020)

Use of metods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V., та інші
Опубліковано: (2018)

Use of metods of algebraic programming for the formal verification of legal acts
за авторством: V. Peschanenko, та інші
Опубліковано: (2018)

Satisfiability For Symbolic Verification in VRS
за авторством: A. Letichevsky, та інші
Опубліковано: (2013)

Satisfiability For Symbolic Verification in VRS
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)

A method for business logic extraction from legacy COBOL code of industrial systems
за авторством: Guba, A.A., та інші
Опубліковано: (2018)

Economic and Mathematical Model of Formally Formed Prices for Power Sector
за авторством: Dobrovolsky V.K.
Опубліковано: (2000)

Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)

Deductive verification of requirements for event-driven architecture
за авторством: A. Letichevsky, та інші
Опубліковано: (2013)

A method of formalizing the making decision process based on the theory of threshold elements
за авторством: Azarova, A. O., та інші
Опубліковано: (2018)

А formal description of the internet global routing objects and processes for global routing cyberattacs impact assessment
за авторством: Zubok, V. Yu.
Опубліковано: (2019)

Algebraic approach to the analysis of legal documents
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)

Formal functional calculus for copolynomials over a commutative ring
за авторством: Gefter, Sergiy L., та інші
Опубліковано: (2025)

Interactive method for cumulative analysis of software formal models behavior
за авторством: A. Kolchin
Опубліковано: (2018)

Solving contest problems via formal program verification
за авторством: Shilov, N.V., та інші
Опубліковано: (2010)

Optimization of checking the feasibility of transitions when verifying formal models
за авторством: Kolchin, A.V.
Опубліковано: (2015)

General formal local cohomology modules
за авторством: Rezaei, Sh.
Опубліковано: (2021)

Efficient increasing of the mutation score during model-based test suite generation
за авторством: Kolchin, A., та інші
Опубліковано: (2020)

Molecular modeling in the radiation therapy. The algebraic approach
за авторством: Volkov, V.A., та інші
Опубліковано: (2023)

Interactive method for automated test suit development for formal models of software systems
за авторством: A. V. Kolchin, та інші
Опубліковано: (2018)

Formal verification of the properties of coreferent resolution model based on decision trees
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2024)

Formal and adaptive methods and software tools of parallel programming
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2017)

Formal and adaptive methods and software tools of parallel programming
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

Three-dimensional generalization and verification of structured bounding surface model for natural clay
за авторством: Cui Yunliang, та інші
Опубліковано: (2018)

Zoning, Optimal Survey and Verification of Surface Radiation Fields Dosimetry Data
за авторством: I. B. Snisar
Опубліковано: (2015)

Formal theory model in the form of commutative semigroup of image constructions
за авторством: Бисикало, Олег Владимирович, та інші
Опубліковано: (2015)

Formal theory model in the form of commutative semigroup of image constructions
за авторством: Бисикало, Олег Владимирович, та інші
Опубліковано: (2015)

Methods of constructing basis in solving inverse problems
за авторством: Mozgovoy, A.V., та інші
Опубліковано: (2014)

A survey of systematic methods for code-based test data generation
за авторством: V. A. Volkov, та інші
Опубліковано: (2017)

The definition of formal languages in the meta language of normal forms of knowledge
за авторством: Kurgaev, A.F., та інші
Опубліковано: (2018)