334 search results - page 8 / 67 » A parametric analysis of the state-explosion problem in mode... |
QSIC
2007
IEEE
14 years 1 months ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
TACAS
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
CAV
2007
Springer
14 years 1 months ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
WSC
1998
13 years 8 months ago
1998
In this paper, we investigate the problem of deriving precision estimates for bootstrap quantities within parametric families. Efron's [1992] jackknife-after-bootstrap is a s...
RTSS
2005
IEEE
14 years 29 days ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...