human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge groups authors who co-authored the same paper.

Details of the hypergraph:
Center hyperedge (induced by source paper "Formal Verification of Gate-Level Computer Systems"):
  Abstract: We present the formal verification of a gate-level computer system, in which a complex processor and external devices run in parallel. The system specification is an instruction set architecture with concurrently running visible devices. To the best of our knowledge this is the first formal treatment of integrating devices into a gate-level computer system.

Includes members:
  Member "The Verisoft Approach to Systems Verification":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "Lyrebird: assigning meanings to machines")
  Member "Analysis of Search Based Algorithms for Satisfiability of Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems.":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "Learning partially observable deterministic action models")

Question: Please tell me which research area the co-authored paper (i.e., the source paper of the center hyperedge) belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Computer science