Cover Image

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.

Saved in:

Bibliographic Details
Date:	2015
Main Authors:	Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.
Format:	Article
Language:	Russian
Published:	PROBLEMS IN PROGRAMMING 2015
Subjects:	verificatoin of formal models
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/109
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Generation of multipurpose formal models from legacy code
by: Potiyenko, S.V., et al.
Published: (2023)

Formal semantics and analysis of tokenomics properties
by: Letychevskyi, O.O., et al.
Published: (2023)

Use of methods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V.S., et al.
Published: (2018)

Static method of consistency and completeness checking in formal model of distributed software systems
by: Kolchin, A.V., et al.
Published: (2025)

Deductive verification of requirements for event-driven architecture
by: Letichevsky, A.A., et al.
Published: (2025)

Formal verification of deep neural networks
by: Panchuk, B.O.
Published: (2024)

Simple non-deterministic rewriting in verification
by: Letichevsky, A., et al.
Published: (2010)

The software tool of constructive-synthesizing modeling
by: Shynkarenko, V.I., et al.
Published: (2024)

Methods and tools for developing an information system for validation of non-formal learning outcomes
by: Pryima, S.M., et al.
Published: (2020)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
by: A. V. Kolchin
Published: (2013)

Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.V.
Published: (2018)

Use of metods of algebraic programming for the formal verification of legal acts
by: V. Peschanenko, et al.
Published: (2018)

Satisfiability For Symbolic Verification in VRS
by: A. Letichevsky, et al.
Published: (2013)

A method for business logic extraction from legacy COBOL code of industrial systems
by: Guba, A.A., et al.
Published: (2018)

А formal description of the internet global routing objects and processes for global routing cyberattacs impact assessment
by: Zubok, V. Yu.
Published: (2019)

A method of formalizing the making decision process based on the theory of threshold elements
by: Azarova, A. O., et al.
Published: (2018)

Deductive verification of requirements for event-driven architecture
by: A. Letichevsky, et al.
Published: (2013)

Deductive verification of requirements for event-driven architecture
by: Letichevsky, A., et al.
Published: (2013)

Algebraic approach to the analysis of legal documents
by: Letychevskyi, O.O., et al.
Published: (2023)

Formal functional calculus for copolynomials over a commutative ring
by: Gefter, Sergiy L., et al.
Published: (2025)

General formal local cohomology modules
by: Rezaei, Sh.
Published: (2021)

Optimization of checking the feasibility of transitions when verifying formal models
by: Kolchin, A.V.
Published: (2015)

Interactive method for cumulative analysis of software formal models behavior
by: A. Kolchin
Published: (2018)

Molecular modeling in the radiation therapy. The algebraic approach
by: Volkov, V.A., et al.
Published: (2023)

Efficient increasing of the mutation score during model-based test suite generation
by: Kolchin, A., et al.
Published: (2020)

Formal verification of the properties of coreferent resolution model based on decision trees
by: Pogorilyy, S.D., et al.
Published: (2024)

Formal theory model in the form of commutative semigroup of image constructions
by: Бисикало, Олег Владимирович, et al.
Published: (2015)

Formal theory model in the form of commutative semigroup of image constructions
by: Бисикало, Олег Владимирович, et al.
Published: (2015)

The definition of formal languages in the meta language of normal forms of knowledge
by: Kurgaev, A.F., et al.
Published: (2018)

Formal and adaptive methods and software tools of parallel programming
by: Yu. Doroshenko, et al.
Published: (2017)

Formal and adaptive methods and software tools of parallel programming
by: Doroshenko, А.Yu., et al.
Published: (2018)

Interactive method for automated test suit development for formal models of software systems
by: A. V. Kolchin, et al.
Published: (2018)

Zoning, Optimal Survey and Verification of Surface Radiation Fields Dosimetry Data
by: I. B. Snisar
Published: (2015)

Three-dimensional generalization and verification of structured bounding surface model for natural clay
by: Cui Yunliang, et al.
Published: (2018)

C# program verification problems: solution by a three-level method
by: Promsky, A.V.
Published: (2008)

Integration of large language models with semantic processing tools as an instrument for knowledge digitization
by: Sinitsyn, I.P., et al.
Published: (2025)

Development of the information system for semantic identification and documentation of the results of non-formal and informal education
by: Pryima, S.M., et al.
Published: (2020)

Methods and tools for developing an information system for validation of non-formal learning outcomes
by: S. M. Pryima, et al.
Published: (2020)

A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems
by: A. V. Kolchin, et al.
Published: (2015)

A survey of systematic methods for code-based test data generation
by: V. A. Volkov, et al.
Published: (2017)