Search Results - Kolchin, A.V.

  • Showing 1 - 8 results of 8
Refine Results
  1. 1
    Cover Image

    A method for guided search and test scenarios generation in verification of formal models of asynchronous systems by Kolchin, A.V.

    Published 2026
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Cover Image

    Interactive method for cumulative analysis of software formal models behavior by Kolchin, A.V.

    Published 2018

    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    Cover Image

    Optimization of checking the feasibility of transitions when verifying formal models by Kolchin, A.V.

    Published 2015
    Get full text
    Article

    Save to List
    Saved in:
  4. 4
    Cover Image

    Generation of multipurpose formal models from legacy code by Potiyenko, S.V., Kolchin, A.V.

    Published 2023

    Get full text
    Article

    Save to List
    Saved in:
  5. 5
    Cover Image

    Test scenarios generation based on formal model by Letichevsky, A.A., Kolchin, A.V.

    Published 2026
    Get full text
    Article

    Save to List
    Saved in:
  6. 6
    Cover Image

    A method for business logic extraction from legacy COBOL code of industrial systems by Guba, A.A., Kolchin, A.V., Potiyenko, S.V.

    Published 2018

    Get full text
    Article

    Save to List
    Saved in:
  7. 7
    Cover Image

    Static method of consistency and completeness checking in formal model of distributed software systems by Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.

    Published 2025
    Get full text
    Article

    Save to List
    Saved in:
  8. 8
    Cover Image

    Survey on modern tools and methods of formal models verification by Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.

    Published 2015
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: