Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Using Decision Diagrams to Compactly Represent the State Space for
  Explicit Model Checking   The enormous number of states reachable during explicit model checking is the
main bottleneck for scalability. This paper presents approaches of using
decision diagrams to represent very large state space compactly and
efficiently. This is possible for asynchronous systems as two system states
connected by a transition often share many same local portions. Using decision
diagrams can significantly reduce memory demand by not using memory to store
the redundant information among different states. This paper considers
multi-value decision diagrams for this purpose. Additionally, a technique to
reduce the runtime overhead of using these diagrams is also described.
Experimental results and comparison with the state compression method as
implemented in the model checker SPIN show that the approaches presented in
this paper are memory efficient for storing large state space with acceptable
runtime overhead.

4
The categories of this paper are: cond-mat
32
The categories of this paper are: atom-ph
0
The categories of this paper are: hep-ph
35
The categories of this paper are: mtrl-th
33
The categories of this paper are: plasm-ph
25
The categories of this paper are: patt-sol
22
The categories of this paper are: chao-dyn
11
The categories of this paper are: hep-lat
26
The categories of this paper are: bayes-an
23
The categories of this paper are: solv-int
27
The categories of this paper are: comp-gas
21
The categories of this paper are: adap-org
34
The categories of this paper are: chem-ph
10
The categories of this paper are: q-bio
24
The categories of this paper are: dg-ga
7
The categories of this paper are: hep-th