Showing 1 - 3 results of 3 for search '"requirement patterns"', query time: 0.08s 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
    Research on verification of behavior requirement patterns based on action sequences

    Research on verification of behavior requirement patterns based on action sequences by DU Jun-wei1, XU Zhong-wei2, JIANG Feng1

    Published 2011-01-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: “…temporal requirements, requirement pattern…”
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: