Search Results - "process-oriented programming"

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Requirement patterns in deductive verification of poST Programs

    Requirement patterns in deductive verification of poST Programs by Ivan M. Chernenko, Igor S. Anureev, Natalia O. Garanina

    Published 2024-03-01
    Subjects:
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Model checking programs in process-oriented IEC 61131-3 Structured Text

    Model checking programs in process-oriented IEC 61131-3 Structured Text by Natalia O. Garanina, Sergey M. Staroletov, Vladimir E. Zyubin, Igor S. Anureev

    Published 2024-03-01
    Subjects:
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    Pattern-based approach to automation of deductive verification of process-oriented programs: patterns, lemmas and algorithms

    Pattern-based approach to automation of deductive verification of process-oriented programs: patterns, lemmas and algorithms by Ivan M. Chernenko, Igor S. Anureev

    Published 2024-12-01
    Subjects:
    Get full text
    Article

    Save to List
    Saved in:

Search Tools: