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 "Threader: a constraint-based verifier for multi-threaded programs"):
  Abstract: We present a tool that implements Owicki-Gries and relyguarantee methods for the compositional verification of multithreaded programs. Our tool computes the requisite auxiliary assertions automatically using an abstraction and refinement procedure. Our procedure is based on a Horn clause encoding of refinement queries and facilitates the discovery of thread-modular proofs when such proofs exist. We present the tool and its evaluation on a collection of benchmarks, including a direct comparison of the effectiveness of the proof rules.

Includes members:
  Member "A study of the internal and external effects of concurrency bugs":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "Practical Byzantine fault tolerance")
  Member "From Traces to Proofs: Proving Concurrent Programs Safe":
    also connected through other hyperedges:
      (none)

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