Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems   This volume contains the proceedings of MARS 2022, the fifth workshop on
Models for Formal Analysis of Real Systems, held as part of ETAPS 2022, the
European Joint Conferences on Theory and Practice of Software. The MARS
workshops bring together researchers from different communities who are
developing formal models of real systems in areas where complex models occur,
such as networks, cyber-physical systems, hardware/software co-design, biology,
etc. The motivation and aim for MARS stem from the following two observations:
  * Large case studies are essential to show that specification formalisms and
modelling techniques are applicable to real systems, whereas many research
papers only consider toy examples or tiny case studies.
  * Developing an accurate model of a real system takes a large amount of time,
often months or years. In most scientific papers, however, salient details of
the model need to be skipped due to lack of space, and to leave room for formal
verification methodologies and results.
  The MARS workshops aim at remedying these issues, emphasising modelling over
verification, so as to retain lessons learnt from formal modelling, which are
not usually discussed elsewhere.

24
The categories of this paper are: dg-ga
20
The categories of this paper are: acc-phys
34
The categories of this paper are: chem-ph
14
The categories of this paper are: math-ph
19
The categories of this paper are: eess
10
The categories of this paper are: q-bio
21
The categories of this paper are: adap-org
16
The categories of this paper are: stat
37
The categories of this paper are: supr-con
23
The categories of this paper are: solv-int
4
The categories of this paper are: cond-mat
0
The categories of this paper are: hep-ph
33
The categories of this paper are: plasm-ph
22
The categories of this paper are: chao-dyn
26
The categories of this paper are: bayes-an
8
The categories of this paper are: hep-ex