Search Results

Suggested Topics within your search.
  • Showing 1 - 5 results of 5
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 in PROBLEMS IN PROGRAMMING (2026)
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Cover Image

    Methods of forward and backward symbolic modeling of systems specified by basic protocols by Potienko, S.V.

    Published in PROBLEMS IN PROGRAMMING (2026)
    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 in PROBLEMS IN PROGRAMMING (2015)
    Get full text
    Article

    Save to List
    Saved in:
  4. 4
    Cover Image

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

    Published in PROBLEMS IN PROGRAMMING (2026)
    Get full text
    Article

    Save to List
    Saved in:
  5. 5
    Cover Image

    Backward transformation of formulas in symbolic modeling: from the result to the source formula by Godlevsky, A.B., Potienko, S.V.

    Published in PROBLEMS IN PROGRAMMING (2026)
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: