Showing 1 - 2 results of 2 for search '"automatic verification"', query time: 0.11s Refine Results
  1. 1
    An automatic verification method for software quality with real business data

    An automatic verification method for software quality with real business data by TIAN Biao, CUI Wei, HUANG Hui, FENG Xiaolong

    Published 2024-03-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Automatic verification of multi-agent systems security properties specified with LTL

    Automatic verification of multi-agent systems security properties specified with LTL by Kholud Alghamdi, Marius Silaghi

    Published 2022-05-01
    Subjects: “…automatic verification…”
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: