Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Dynamic Dependability Analysis of Shuffle-exchange Networks using HOL
  Theorem Proving   Dynamic dependability models, such as dynamic fault trees (DFTs) and dynamic
reliability block diagrams (DRBDs), are introduced to overcome the modeling
limitations of traditional models. Recently, higher-order logic (HOL)
formalizations of both models have been conducted, which allow the analysis of
these models formally, within a theorem prover. In this report, we provide the
formal dynamic dependability analysis of shuffle-exchange networks, which are
multistage interconnection networks that are commonly used in multiprocessor
systems. We use DFTs and DRBDs to model the terminal, broadcast and network
reliability with dynamic spare gates and constructs in several generic
versions. We verify generic expressions of probability of failure and
reliability of these systems, which can be instantiated with any number of
system components and failure rates to reason about the failure behavior of
these networks.

7
The categories of this paper are: hep-th
22
The categories of this paper are: chao-dyn
8
The categories of this paper are: hep-ex
3
The categories of this paper are: physics
14
The categories of this paper are: math-ph
25
The categories of this paper are: patt-sol
26
The categories of this paper are: bayes-an
4
The categories of this paper are: cond-mat
16
The categories of this paper are: stat
29
The categories of this paper are: funct-an
37
The categories of this paper are: supr-con
31
The categories of this paper are: ao-sci
18
The categories of this paper are: econ
2
The categories of this paper are: math
28
The categories of this paper are: alg-geom
27
The categories of this paper are: comp-gas