Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Specification description and verification of multitask hybrid systems
  in the OTS/CafeOBJ method   To develop IoT and/or CSP systems, we need consider both continuous data from
physical world and discrete data in computer systems. Such a system is called a
hybrid system. Because of density of continuous data, it is not easy to do
software testing to ensure reliability of hybrid systems. Moreover, the size of
the state space increases exponentially for multitask systems. Formal
descriptions of hybrid systems may help us to verify desired properties of a
given system formally with computer supports. In this paper, we propose a way
to describe a formal specification of a given multitask hybrid system as an
observational transition system in CafeOBJ algebraic specification language and
verify it by the proof score method based on equational reasoning implemented
in CafeOBJ interpreter.

18
The categories of this paper are: econ
21
The categories of this paper are: adap-org
29
The categories of this paper are: funct-an
6
The categories of this paper are: astro-ph
20
The categories of this paper are: acc-phys
8
The categories of this paper are: hep-ex
32
The categories of this paper are: atom-ph
34
The categories of this paper are: chem-ph
11
The categories of this paper are: hep-lat
22
The categories of this paper are: chao-dyn
23
The categories of this paper are: solv-int
5
The categories of this paper are: gr-qc
33
The categories of this paper are: plasm-ph
19
The categories of this paper are: eess
16
The categories of this paper are: stat
25
The categories of this paper are: patt-sol