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 "Model Checking SDL with Spin"):
  Abstract: We present an attempt to use the model checker Spin as a verification engine for SDL, with special emphasis put on the verification of timing properties of SDL models. We have extended Spin with a front-end that allows to translate SDL to Promela (the input language of Spin), and a back-end that allows to analyse timing properties. Compared with the previous attempts, our approach allows to verify not only qualitative but also quantitative aspects of SDL timers, and our translation of SDL to Promela handles the SDL timers in a correct way. We applied the toolset to the verification of a substantial part of a complex industrial protocol. This allowed to expose several non-trivial errors in the protocol's design.

Includes members:
  Member "IF: A Validation Environment for Timed Asynchronous Systems":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "Black-Box Conformance Testing for Real-Time Systems")
  Member "Integrating Real Time into Spin: A Prototype Implementation":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "Extending Promela and Spin for Real Time")

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