formal verification (Q173326)

From Wikidata
Jump to: navigation, search
act of proving or disproving the correctness of intended algorithms
edit
Language Label Description Also known as
English
formal verification
act of proving or disproving the correctness of intended algorithms

    Statements

    Identifiers

     
    edit
      edit
        edit
          edit
            edit
              edit
                edit