Individual acm#Verification
  >part of:  acm#Reliability  acm#ACM_process_related_domain
  >part:  acm#ACM_benchmarking
     >part:  acm#H.5.2.1__User_Interfaces_Benchmarking
     >part:  acm#K.6.2.0__COMPUTING_Benchmarks
  >part:  acm#ACM_testing
     >part:  acm#ACM_diagnostics
        >part:  acm#B.1.3.0__Hardware_Control_Structure_Diagnostics  Deprecated, no longer used as of January 1998.
        >part:  acm#B.2.3.0__Hardware_ARITHMETIC_AND_LOGIC_STRUCTURES_Diagnostics  Deprecated, no longer used as of January 1998.
        >part:  acm#B.3.4.0__Hardware_MEMORY_STRUCTURES_Diagnostics  Deprecated, no longer used as of January 1998.
        >part:  acm#B.4.5.1__Hardware_INPUT/OUTPUT_AND_DATA_COMMUNICATIONS_Diagnostics  Deprecated, no longer used as of January 1998.
        >part:  acm#D.2.5.2__Software_Diagnostics
     >part:  acm#ACM_Built-in_tests
        >part:  acm#B.4.5.0__Hardware_INPUT/OUTPUT_AND_DATA_COMMUNICATIONS_Built-in_tests  Deprecated, no longer used as of January 1998.
        >part:  acm#B.5.3.0__Hardware_REGISTER-TRANSFER-LEVEL_IMPLEMENTATION_Built-in_tests  Deprecated, no longer used as of January 1998.
        >part:  acm#B.6.2.0__Hardware_LOGIC_DESIGN_Built-in_tests  Deprecated, no longer used as of January 1998.
        >part:  acm#B.7.3.0__INTEGRATED_CIRCUITS_Built-in_tests  Deprecated, no longer used as of January 1998.
     >part:  acm#ACM_ReliabilityTestingAndFaultTolerance
        >part:  acm#B.1.3__Hardware_Control_Structure_Reliability_-_Testing_-_and_Fault-Tolerance  Deprecated, no longer used as of January 1998. See also acm#B.8.
           >part:  acm#B.1.3.0__Hardware_Control_Structure_Diagnostics  Deprecated, no longer used as of January 1998.
           >part:  acm#B.1.3.1__Hardware_Control_Structure_Error-checking  Deprecated, no longer used as of January 1998.
           >part:  acm#B.1.3.2__Hardware_Control_Structure_Redundant_design  Deprecated, no longer used as of January 1998.
           >part:  acm#B.1.3.3__Hardware_Control_Structure_Test_generation  Deprecated, no longer used as of January 1998.
        >part:  acm#B.2.3__Hardware_ARITHMETIC_AND_LOGIC_STRUCTURES_Reliability_-_Testing_-_and_Fault-Tolerance  Deprecated, no longer used as of January 1998. See also acm#B.8.
           >part:  acm#B.2.3.0__Hardware_ARITHMETIC_AND_LOGIC_STRUCTURES_Diagnostics  Deprecated, no longer used as of January 1998.
           >part:  acm#B.2.3.1__Hardware_ARITHMETIC_AND_LOGIC_STRUCTURES_Error-checking  Deprecated, no longer used as of January 1998.
           >part:  acm#B.2.3.2__Hardware_ARITHMETIC_AND_LOGIC_STRUCTURES_Redundant_design  Deprecated, no longer used as of January 1998.
           >part:  acm#B.2.3.3__Hardware_ARITHMETIC_AND_LOGIC_STRUCTURES_Test_generation  Deprecated, no longer used as of January 1998.
        >part:  acm#B.3.4__Hardware_MEMORY_STRUCTURES_Reliability_-_Testing_-_and_Fault-Tolerance  Deprecated, no longer used as of January 1998. See also acm#B.8.
           >part:  acm#B.3.4.0__Hardware_MEMORY_STRUCTURES_Diagnostics  Deprecated, no longer used as of January 1998.
           >part:  acm#B.3.4.1__Hardware_MEMORY_STRUCTURES_Error-checking  Deprecated, no longer used as of January 1998.
           >part:  acm#B.3.4.2__Hardware_MEMORY_STRUCTURES_Redundant_design  Deprecated, no longer used as of January 1998.
           >part:  acm#B.3.4.3__Hardware_MEMORY_STRUCTURES_Test_generation  Deprecated, no longer used as of January 1998.
        >part:  acm#B.4.5__Hardware_INPUT/OUTPUT_AND_DATA_COMMUNICATIONS_Reliability_-_Testing_-_and_Fault-Tolerance  Deprecated, no longer used as of January 1998. See also acm#B.8.
           >part:  acm#B.4.5.0__Hardware_INPUT/OUTPUT_AND_DATA_COMMUNICATIONS_Built-in_tests  Deprecated, no longer used as of January 1998.
           >part:  acm#B.4.5.1__Hardware_INPUT/OUTPUT_AND_DATA_COMMUNICATIONS_Diagnostics  Deprecated, no longer used as of January 1998.
           >part:  acm#B.4.5.2__Hardware_INPUT/OUTPUT_AND_DATA_COMMUNICATIONS_Error-checking  Deprecated, no longer used as of January 1998.
           >part:  acm#B.4.5.3__Hardware_INPUT/OUTPUT_AND_DATA_COMMUNICATIONS_Hardware_reliability  Deprecated, no longer used as of January 1998.
           >part:  acm#B.4.5.4__Hardware_INPUT/OUTPUT_AND_DATA_COMMUNICATIONS_Redundant_design  Deprecated, no longer used as of January 1998.
           >part:  acm#B.4.5.5__Hardware_INPUT/OUTPUT_AND_DATA_COMMUNICATIONS_Test_generation  Deprecated, no longer used as of January 1998.
        >part:  acm#B.5.3__Hardware_REGISTER-TRANSFER-LEVEL_IMPLEMENTATION_Reliability_and_Testing  Deprecated, no longer used as of January 1998. See also acm#B.8.
           >part:  acm#B.5.3.0__Hardware_REGISTER-TRANSFER-LEVEL_IMPLEMENTATION_Built-in_tests  Deprecated, no longer used as of January 1998.
           >part:  acm#B.5.3.1__Hardware_REGISTER-TRANSFER-LEVEL_IMPLEMENTATION_Error-checking  Deprecated, no longer used as of January 1998.
           >part:  acm#B.5.3.2__Hardware_REGISTER-TRANSFER-LEVEL_IMPLEMENTATION_Redundant_design  Deprecated, no longer used as of January 1998.
           >part:  acm#B.5.3.3__Hardware_REGISTER-TRANSFER-LEVEL_IMPLEMENTATION_Test_generation  Deprecated, no longer used as of January 1998.
           >part:  acm#B.5.3.4__Hardware_REGISTER-TRANSFER-LEVEL_IMPLEMENTATION_Testability  Deprecated, no longer used as of January 1998.
        >part:  acm#B.6.2__Hardware_LOGIC_DESIGN_Reliability_and_Testing  Deprecated, no longer used as of January 1998. See also acm#B.8.
           >part:  acm#B.6.2.0__Hardware_LOGIC_DESIGN_Built-in_tests  Deprecated, no longer used as of January 1998.
           >part:  acm#B.6.2.1__Hardware_LOGIC_DESIGN_Error-checking  Deprecated, no longer used as of January 1998.
           >part:  acm#B.6.2.2__Hardware_LOGIC_DESIGN_Redundant_design  Deprecated, no longer used as of January 1998.
           >part:  acm#B.6.2.3__Hardware_LOGIC_DESIGN_Test_generation  Deprecated, no longer used as of January 1998.
           >part:  acm#B.6.2.4__Hardware_LOGIC_DESIGN_Testability  Deprecated, no longer used as of January 1998.
        >part:  acm#B.7.3__INTEGRATED_CIRCUITS_Reliability_and_Testing  Deprecated, no longer used as of January 1998. See also acm#B.8.
           >part:  acm#B.7.3.0__INTEGRATED_CIRCUITS_Built-in_tests  Deprecated, no longer used as of January 1998.
           >part:  acm#B.7.3.1__INTEGRATED_CIRCUITS_Error-checking  Deprecated, no longer used as of January 1998.
           >part:  acm#B.7.3.2__INTEGRATED_CIRCUITS_Redundant_design  Deprecated, no longer used as of January 1998.
           >part:  acm#B.7.3.3__INTEGRATED_CIRCUITS_Test_generation  Deprecated, no longer used as of January 1998.
           >part:  acm#B.7.3.4__INTEGRATED_CIRCUITS_Testability  Deprecated, no longer used as of January 1998.
        >part:  acm#B.8.1__Hardware_Reliability_-_Testing_-_and_Fault-Tolerance
     >part:  acm#D.2.5__Software_Testing_and_Debugging
        >part:  acm#D.2.5.0__Software_Code_inspections_and_walk-throughs
        >part:  acm#D.2.5.1__Software_Debugging_aids
        >part:  acm#D.2.5.2__Software_Diagnostics
        >part:  acm#D.2.5.3__Software_Distributed_debugging
        >part:  acm#D.2.5.4__Software_Testing_and_Debugging_Dumps  Deprecated, no longer used as of January 1998.
        >part:  acm#D.2.5.5__Software_Error_handling_and_recovery
        >part:  acm#D.2.5.6__Software_Testing_and_Debugging_Monitors
        >part:  acm#D.2.5.7__Software_Symbolic_execution
        >part:  acm#D.2.5.8__Software_Testing_tools
        >part:  acm#D.2.5.9__Software_Tracing
     >part:  acm#G.4.1__MATHEMATICAL_SOFTWARE_Certification_and_testing
     >part:  acm#K.7.3__THE_COMPUTING_PROFESSION_Testing_-_Certification_-_and_Licensing
  >part:  acm#ACM_Error-checking
     >part:  acm#B.1.3.1__Hardware_Control_Structure_Error-checking  Deprecated, no longer used as of January 1998.
     >part:  acm#B.2.3.1__Hardware_ARITHMETIC_AND_LOGIC_STRUCTURES_Error-checking  Deprecated, no longer used as of January 1998.
     >part:  acm#B.3.4.1__Hardware_MEMORY_STRUCTURES_Error-checking  Deprecated, no longer used as of January 1998.
     >part:  acm#B.4.5.2__Hardware_INPUT/OUTPUT_AND_DATA_COMMUNICATIONS_Error-checking  Deprecated, no longer used as of January 1998.
     >part:  acm#B.5.3.1__Hardware_REGISTER-TRANSFER-LEVEL_IMPLEMENTATION_Error-checking  Deprecated, no longer used as of January 1998.
     >part:  acm#B.6.2.1__Hardware_LOGIC_DESIGN_Error-checking  Deprecated, no longer used as of January 1998.
     >part:  acm#B.7.3.1__INTEGRATED_CIRCUITS_Error-checking  Deprecated, no longer used as of January 1998.
  >part:  acm#B.1.4.4__Hardware_Microprogram_Verification  Deprecated, no longer used as of January 1998.
  >part:  acm#B.2.2.1__Hardware_ARITHMETIC_AND_LOGIC_STRUCTURES_Verification  Deprecated, no longer used as of January 1998.
  >part:  acm#B.4.4.2__Hardware_INPUT/OUTPUT_AND_DATA_COMMUNICATIONS_Verification  Deprecated, no longer used as of January 1998.
  >part:  acm#B.5.2.4__Hardware_REGISTER-TRANSFER-LEVEL_IMPLEMENTATION_Verification
  >part:  acm#B.6.3.5__Hardware_LOGIC_DESIGN_Verification
  >part:  acm#B.7.2.4__INTEGRATED_CIRCUITS_Verification
  >part:  acm#C.2.2.2__Computer_Network_Protocol_verification
  >part:  acm#D.2.4__Software/Program_Verification  See also acm#F.3.1.
     >part:  acm#D.2.4.0__Assertion_checkers
     >part:  acm#D.2.4.1__Class_invariants
     >part:  acm#D.2.4.2__Correctness_proofs
     >part:  acm#D.2.4.3__Formal_methods
     >part:  acm#D.2.4.4__Software_Design_Model_checking
     >part:  acm#D.2.4.5__Programming_by_contract
     >part:  acm#D.2.4.6__Reliability
     >part:  acm#D.2.4.7__Statistical_methods
     >part:  acm#D.2.4.8__Software_Validation
  >part:  acm#D.4.6.6__OPERATING_SYSTEMS_Security_and_Protection_Verification  Deprecated, no longer used as of January 1998.
  >part:  acm#E.4.1__Error_control_codes
  >part:  acm#F.3.1.3__Mechanical_verification
  >part:  acm#G.4.8__MATHEMATICAL_SOFTWARE_Verification  Deprecated, no longer used as of January 1998.
  >part:  acm#I.2.2.4__Automatic_Program_verification

No statement uses or specializes acm#Verification; click here to add one.

101 categories printed


Simple category search: