Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: PKind: A parallel k-induction based model checker   PKind is a novel parallel k-induction-based model checker of invariant
properties for finite- or infinite-state Lustre programs. Its architecture,
which is strictly message-based, is designed to minimize synchronization delays
and easily accommodate the incorporation of incremental invariant generators to
enhance basic k-induction. We describe PKind's functionality and main features,
and present experimental evidence that PKind significantly speeds up the
verification of safety properties and, due to incremental invariant generation,
also considerably increases the number of provable ones.

34
The categories of this paper are: chem-ph
4
The categories of this paper are: cond-mat
17
The categories of this paper are: q-fin
13
The categories of this paper are: quant-ph
19
The categories of this paper are: eess
37
The categories of this paper are: supr-con
3
The categories of this paper are: physics
7
The categories of this paper are: hep-th
25
The categories of this paper are: patt-sol
6
The categories of this paper are: astro-ph
14
The categories of this paper are: math-ph
18
The categories of this paper are: econ
15
The categories of this paper are: nucl-ex
20
The categories of this paper are: acc-phys
5
The categories of this paper are: gr-qc
30
The categories of this paper are: q-alg